ИСТИНА

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