Geodesic
Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 9 (2016) no. 2, pp. 149-157

Voir la notice de l'article provenant de la source Math-Net.Ru

We study unification of formulas in multi-modal LTK logic and give a syntactic description of all formulas which are non-unificable in this logic. Passive inference rules are considered, it is shown that in LTK logic there is a finite basis for passive rules.
Keywords: modal temporal logic, passive inference rules.
Mots-clés : unification 
@article{JSFU_2016_9_2_a2,
     author = {Stepan I. Bashmakov},
     title = {Unification and inference rules in the multi-modal logic of knowledge and linear time {LTK}},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {149--157},
     publisher = {mathdoc},
     volume = {9},
     number = {2},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2016_9_2_a2/}
}
TY  - JOUR
AU  - Stepan I. Bashmakov
TI  - Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2016
SP  - 149
EP  - 157
VL  - 9
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2016_9_2_a2/
LA  - en
ID  - JSFU_2016_9_2_a2
ER  - 
%0 Journal Article
%A Stepan I. Bashmakov
%T Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2016
%P 149-157
%V 9
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2016_9_2_a2/
%G en
%F JSFU_2016_9_2_a2
Stepan I. Bashmakov. Unification and inference rules in the multi-modal logic of knowledge and linear time LTK. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 9 (2016) no. 2, pp. 149-157. http://geodesic.mathdoc.fr/item/JSFU_2016_9_2_a2/