RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 1974, том 15, выпуск 6, страницы 875–884 (Mi mzm7417)

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

Семантика Крипке для модальных систем, включающих S4.3

В. Ю. Месхи

Институт кибернетики АН Грузинской ССР

Аннотация: Предлагаются характеристики, в терминах моделей Крипке, всех известных расширений модальной системы S4.3 Такое семантическое описание позволяет дать полную картину всего класса систем, расширяющих S4.3. Получены ответы на некоторые нерешенные вопросы [1]. Библ. 4 назв.

УДК: 51.01

Поступило: 26.04.1973


 Англоязычная версия: Mathematical Notes, 1974, 15:6, 523–528

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


© МИАН, 2024