- 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
Journal of Siberian Federal University. Mathematics & Physics / Decidability of Multi-modal Logic LTK of Linear Time and Knowledge
Full text (.pdf)