|
Проблемы передачи информации, 2007, том 43, выпуск 3, страницы 97–104
(Mi ppi21)
|
|
|
|
Большие системы
О модальных логиках некоторых геометрических структур
И. Б. Шапировский Институт проблем передачи информации им. А. А. Харкевича РАН
Аннотация:
Изучаются модальные логики отношений включения и компактного включения
на множествах регионов в действительном пространстве $\mathbb R^n$. Для ряда
случаев найдена конечная полная модальная аксиоматизация, описанные логики
являются финитно аппроксимируемыми и PSPACE-полными.
Поступила в редакцию: 19.06.2007
Образец цитирования:
И. Б. Шапировский, “О модальных логиках некоторых геометрических структур”, Пробл. передачи информ., 43:3 (2007), 97–104; Problems Inform. Transmission, 43:3 (2007), 255–262
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ppi21 https://www.mathnet.ru/rus/ppi/v43/i3/p97
|
Статистика просмотров: |
Страница аннотации: | 359 | PDF полного текста: | 127 | Список литературы: | 42 | Первая страница: | 4 |
|