Перевод названия: Разрешимость многомодальной линейной логики знания и времени LTK
Тип публикации: статья из журнала
Год издания: 2013
Ключевые слова: multi-modal logic, temporal logic, Epistemic Logic, decidability, effective finite model property, линейная временная логика, разрешимость, эффективная финитная аппроксимируемость, многомодальная логика
Аннотация: Thepaperinvestigates modal(temporal-model) logicsbased at a semantic approach with models combining knowledge and time. We introduce multi-modal logics LT Kr and LT Kir containing modalities for knowledge and time as the sets of all LT Kr -valid, and LT Kir -valid formulae for a class of special LT Kr frames, LT Kir -frames, respecПоказать полностьюtively. The main results of this paper are theorems stating that LT Kr and LT Kir are decidable; we also give an explicit solving algorithm. В представленной статье используется семантический подход к построению моделей, комбинирующихмодальности знания ивремени.Семантическивводятсямногомодальныелогики LT Kr и LT Kir, содержащие модальности знания и времени как множество формул, истинных на фреймах специального вида. Главным результатом работы являются теоремы об эффективной финитной аппроксимируемости и, как следствие, разрешимости данных логик.
Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск журнала: Т. 6, № 2
Номера страниц: 220-226
ISSN журнала: 19971397
Место издания: Красноярск
Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет