Объединения модально определимых классов моделей

С. 19–21.

Золин Е. Е.

Основной результат: класс отмеченных моделей Крипке (соответственно, класс моделей Крипке) представим в виде объединения классов, задаваемых некоторыми множествами модальных формул, тогда и только тогда, когда он замкнут относительно бисимуляции (соответственно, сюръективной бисимуляции), а также он и его дополнение замкнуты относительно операции ультра-расширения.

Ключевые слова: модель Крипке

В книге

Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.

М.: Современные тетради, 2017.