Журнал СФУ. Математика и физика / Разрешимость многомодальной линейной логики знания и времени LTK

Полный текст (.pdf)
Номер
Журнал СФУ. Математика и физика. 2013 6 (2)
Авторы
Лукьянчук, Александра Н.
Контактная информация
Лукьянчук, Александра Н.: e-mail:
Ключевые слова
multi-modal logic; temporal logic; epistemic logic; decidability; effective finite model property; многомодальная логика; линейная временная логика; разрешимость; эффективная финитная аппроксимируемость
Аннотация

В представленной статье используется семантический подход к построению моделей, комбинирующихмодальности знания ивремени.Семантическивводятсямногомодальныелогики LT Kr и LT Kir , содержащие модальности знания и времени как множество формул, истинных на фреймах специального вида. Главным результатом работы являются теоремы об эффективной финитной аппроксимируемости и, как следствие, разрешимости данных логик.

Страницы
220–226
Статья в архиве электронных ресурсов СФУ
https://elib.sfu-kras.ru/handle/2311/9680