Decidability of multi-modal logic $LTK$ of linear time and knowledge
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 6 (2013) no. 2, pp. 220-226
Voir la notice de l'article provenant de la source Math-Net.Ru
The paper investigates modal (temporal-model) logics based at a semantic approach with models combining knowledge and time. We introduce multi-modal logics $LTK_r$ and $LTK_{ir}$ containing modalities for knowledge and time as the sets of all $LTK_r$-valid, and $LTK_{ir}$-valid formulae for a class of special $LTK_r$- frames, $LTK_{ir}$-frames, respectively. The main results of this paper are theorems stating that $LTK_r$ and $LTK_{ir}$ are decidable; we also give an explicit solving algorithm.
Keywords:
multi-modal logic, temporal logic, epistemic logic, decidability, effective finite model property.
@article{JSFU_2013_6_2_a8,
author = {Alexandra N. Lukyanchuk},
title = {Decidability of multi-modal logic $LTK$ of linear time and knowledge},
journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
pages = {220--226},
publisher = {mathdoc},
volume = {6},
number = {2},
year = {2013},
language = {en},
url = {http://geodesic.mathdoc.fr/item/JSFU_2013_6_2_a8/}
}
TY - JOUR AU - Alexandra N. Lukyanchuk TI - Decidability of multi-modal logic $LTK$ of linear time and knowledge JO - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika PY - 2013 SP - 220 EP - 226 VL - 6 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/JSFU_2013_6_2_a8/ LA - en ID - JSFU_2013_6_2_a8 ER -
%0 Journal Article %A Alexandra N. Lukyanchuk %T Decidability of multi-modal logic $LTK$ of linear time and knowledge %J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika %D 2013 %P 220-226 %V 6 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/JSFU_2013_6_2_a8/ %G en %F JSFU_2013_6_2_a8
Alexandra N. Lukyanchuk. Decidability of multi-modal logic $LTK$ of linear time and knowledge. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 6 (2013) no. 2, pp. 220-226. http://geodesic.mathdoc.fr/item/JSFU_2013_6_2_a8/