Geodesic
Interval multi-agent logic with reliability operator
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 17 (2024) no. 5, pp. 679-683

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

We study intransitive temporal multi-agent logic with agents' multi-valuations for formulas letters and relational models representing reliable states. This logic is defined in a semantic as a set of formulas which are true at linear models with multi-valued variables. We propose a background for such approach and a technique for computation truth values of formulas. Main results concerns solvability problem, we prove that the resulting logic is decidable.
Keywords: modal logic, temporal logic, common knowledge, deciding algorithms, multi-agent logic. 
@article{JSFU_2024_17_5_a12,
     author = {Vladimir R. Kiyatkin and Vladimir V. Rybakov},
     title = {Interval multi-agent logic with reliability operator},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {679--683},
     publisher = {mathdoc},
     volume = {17},
     number = {5},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2024_17_5_a12/}
}
TY  - JOUR
AU  - Vladimir R. Kiyatkin
AU  - Vladimir V. Rybakov
TI  - Interval multi-agent logic with reliability operator
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2024
SP  - 679
EP  - 683
VL  - 17
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2024_17_5_a12/
LA  - en
ID  - JSFU_2024_17_5_a12
ER  - 
%0 Journal Article
%A Vladimir R. Kiyatkin
%A Vladimir V. Rybakov
%T Interval multi-agent logic with reliability operator
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2024
%P 679-683
%V 17
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2024_17_5_a12/
%G en
%F JSFU_2024_17_5_a12
Vladimir R. Kiyatkin; Vladimir V. Rybakov. Interval multi-agent logic with reliability operator. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 17 (2024) no. 5, pp. 679-683. http://geodesic.mathdoc.fr/item/JSFU_2024_17_5_a12/