- Номер
- Журнал СФУ. Математика и физика. 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
Журнал СФУ. Математика и физика / Разрешимость многомодальной линейной логики знания и времени LTK
Полный текст (.pdf)