|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Двумерные модальные логикистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Шехтман Валентин Борисович
- Журнал: Математические заметки
- Том: 23
- Номер: 5
- Год издания: 1978
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 759
- Последняя страница: 772
- Аннотация: Исследуются пропозициональные логики с многими модальностями, характеризуемые «двумерными» моделями Крипке. Общая задача может быть сформулирована следующим образом: по двум модальным логикам, описывающим некоторые классы модальных структур Крипке, построить логику, описывающую все произведения структур Крипке из этих классов. Для большого числа случаев такая логика получается присоединением к исходным логикам аксиом коммутативности и Чёрча–Россера. Частный случай этой задачи, приводящий к логике тора S5xS5, был решен К. Сегербергом
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 1978_Shehtman_MZ_2D_modal_logics.pdf | 1,7 МБ | 4 ноября 2019 [ezolin] |