Journal of Siberian Federal University. Mathematics & Physics / Decidability of Multi-modal Logic LTK of Linear Time and Knowledge

Full text (.pdf)
Issue
Journal of Siberian Federal University. Mathematics & Physics. 2013 6 (2)
Authors
Lukyanchuk, Alexandra N.
Contact information
Lukyanchuk, Alexandra N.: Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny, 79, Krasnoyarsk, 660041 Russia; e-mail:
Keywords
multi-modal logic; temporal logic; epistemic logic; decidability; effective finite model property
Abstract

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, respectively. The main results of this paper are theorems stating that LT Kr and LT Kir are decidable; we also give an explicit solving algorithm.

Pages
220–226
Paper at repository of SibFU
https://elib.sfu-kras.ru/handle/2311/9680