Geodesic
Unification in linear modal logic on non-transitive time with the universal modality
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 11 (2018) no. 1, pp. 3-9

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

We investigate the question of unification in the linear modal logic on non-transitive time with the universal modality. The semantic construction of logic on linear non-transitive Kripke frames is proposed, effective definability and projectivity of the unifiable formulas are proved. An algorithm for construction the most general unifier is found.
Keywords: temporal modal logic, non-transitive Kripke frame, ground unifier, projective formulas.
Mots-clés : unification 
@article{JSFU_2018_11_1_a0,
     author = {Stepan I. Bashmakov},
     title = {Unification in linear modal logic on non-transitive time with the universal modality},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {3--9},
     publisher = {mathdoc},
     volume = {11},
     number = {1},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2018_11_1_a0/}
}
TY  - JOUR
AU  - Stepan I. Bashmakov
TI  - Unification in linear modal logic on non-transitive time with the universal modality
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2018
SP  - 3
EP  - 9
VL  - 11
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2018_11_1_a0/
LA  - en
ID  - JSFU_2018_11_1_a0
ER  - 
%0 Journal Article
%A Stepan I. Bashmakov
%T Unification in linear modal logic on non-transitive time with the universal modality
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2018
%P 3-9
%V 11
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2018_11_1_a0/
%G en
%F JSFU_2018_11_1_a0
Stepan I. Bashmakov. Unification in linear modal logic on non-transitive time with the universal modality. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 11 (2018) no. 1, pp. 3-9. http://geodesic.mathdoc.fr/item/JSFU_2018_11_1_a0/