![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Дается обзор результатов о симплициальной семантике предикатных модальных логик (введена в 1991-93 гг. Д.П. Скворцовым). Обсуждается проблема полноты для этой семантики и связь ее с другими семантиками логик предикатов.