RUS  ENG
Полная версия
ЖУРНАЛЫ // Проблемы передачи информации // Архив

Пробл. передачи информ., 2007, том 43, выпуск 3, страницы 97–104 (Mi ppi21)

Большие системы

О модальных логиках некоторых геометрических структур

И. Б. Шапировский

Институт проблем передачи информации им. А. А. Харкевича РАН

Аннотация: Изучаются модальные логики отношений включения и компактного включения на множествах регионов в действительном пространстве $\mathbb R^n$. Для ряда случаев найдена конечная полная модальная аксиоматизация, описанные логики являются финитно аппроксимируемыми и PSPACE-полными.

УДК: 621.391.1:519.2

Поступила в редакцию: 19.06.2007


 Англоязычная версия: Problems of Information Transmission, 2007, 43:3, 255–262

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


© МИАН, 2024