Geodesic
Multi-agents' temporal logic using operations of static agents' knowledge
Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 15 (2022) no. 1, pp. 114-124

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

We study an agents' temporal logic with non-standard none-transitive temporal accessibility relations and operations of static agents' knowledge. The main mathematical problem we work with is existence of algorithms for solving satisfiability problem. The problem is resolved and the algorithm is found. Some open problems are suggested in the concluding part.
Keywords: temporal logic, multi-agency, non-classical logics, knowledge representation, deciding algorithms, decidability, computability.
Mots-clés : information 
@article{JSFU_2022_15_1_a12,
     author = {Vladimir V. Rybakov},
     title = {Multi-agents' temporal logic using operations of static agents' knowledge},
     journal = {\v{Z}urnal Sibirskogo federalʹnogo universiteta. Matematika i fizika},
     pages = {114--124},
     publisher = {mathdoc},
     volume = {15},
     number = {1},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a12/}
}
TY  - JOUR
AU  - Vladimir V. Rybakov
TI  - Multi-agents' temporal logic using operations of static agents' knowledge
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2022
SP  - 114
EP  - 124
VL  - 15
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a12/
LA  - en
ID  - JSFU_2022_15_1_a12
ER  - 
%0 Journal Article
%A Vladimir V. Rybakov
%T Multi-agents' temporal logic using operations of static agents' knowledge
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2022
%P 114-124
%V 15
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a12/
%G en
%F JSFU_2022_15_1_a12
Vladimir V. Rybakov. Multi-agents' temporal logic using operations of static agents' knowledge. Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika, Tome 15 (2022) no. 1, pp. 114-124. http://geodesic.mathdoc.fr/item/JSFU_2022_15_1_a12/