RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1983, том 268, номер 4, страницы 814–817 (Mi dan45902)

Эта публикация цитируется в 1 статье

МАТЕМАТИКА

Неразрешимость проблемы функциональной выразимости в модальной логике $\mathrm{S}4$

М. Ф. Раца

Институт математики с ВЦ АН Молдавской ССР, г. Кишинев

УДК: 510.6+519.7

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 18.06.1982



Реферативные базы данных:


© МИАН, 2024