|
Математические заметки, 1974, том 15, выпуск 6, страницы 875–884
(Mi mzm7417)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Семантика Крипке для модальных систем, включающих S4.3
В. Ю. Месхи Институт кибернетики АН Грузинской ССР
Аннотация:
Предлагаются характеристики, в терминах моделей Крипке, всех известных расширений модальной системы S4.3 Такое семантическое описание позволяет дать полную картину всего класса систем, расширяющих S4.3. Получены ответы на некоторые нерешенные вопросы [1]. Библ. 4 назв.
Поступило: 26.04.1973
Образец цитирования:
В. Ю. Месхи, “Семантика Крипке для модальных систем, включающих S4.3”, Матем. заметки, 15:6 (1974), 875–884; Math. Notes, 15:6 (1974), 523–528
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm7417 https://www.mathnet.ru/rus/mzm/v15/i6/p875
|
Статистика просмотров: |
Страница аннотации: | 357 | PDF полного текста: | 156 | Первая страница: | 1 |
|