|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Семантика Крипке для модальных систем, включающих S4.3статья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Месхи Вячеслав Юрьевич
- Журнал: Математические заметки
- Том: 15
- Номер: 6
- Год издания: 1974
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 875
- Последняя страница: 884
- Аннотация: Предлагаются характеристики, в терминах моделей Крипке, всех известных расширений модальной системы S4.3 Такое семантическое описание позволяет дать полную картину всего класса систем, расширяющих S4.3. Получены ответы на некоторые нерешенные вопросы [1]. Библ. 4 назв. URL: http://mi.mathnet.ru/mz7417
- Добавил в систему: Золин Евгений Евгеньевич