Geodesic
Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 15 (2022) no. 1, pp. 56-74

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

In this paper we continue the series of papers by V. V. Rybakov devoted to properties of multi-valueted logics and where he propose a new approach for modelling knowledge and reasoning of agents in a multi-agent system. We prove that the satisfiability problem is decidable in a temporal multi-valueted logic based on $\mathbb{Z}$.
Keywords: temporal logic, multi-agent logic, epistemic modal logic, multi-valueted logic, satisfiability, decidability in logic, knowledge representation and reasoning, multi-agent systems. 
@article{JSFU_2022_15_1_a6,
     author = {Vladimir R. Kiyatkin and Anna V. Kosheleva},
     title = {Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {56--74},
     publisher = {mathdoc},
     volume = {15},
     number = {1},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a6/}
}
TY  - JOUR
AU  - Vladimir R. Kiyatkin
AU  - Anna V. Kosheleva
TI  - Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2022
SP  - 56
EP  - 74
VL  - 15
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a6/
LA  - en
ID  - JSFU_2022_15_1_a6
ER  - 
%0 Journal Article
%A Vladimir R. Kiyatkin
%A Anna V. Kosheleva
%T Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2022
%P 56-74
%V 15
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a6/
%G en
%F JSFU_2022_15_1_a6
Vladimir R. Kiyatkin; Anna V. Kosheleva. Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 15 (2022) no. 1, pp. 56-74. http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a6/