Geodesic
Dynamic temporal logical operations in multi-agent logics
Algebra i logika, Tome 61 (2022) no. 5, pp. 600-618

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

We study temporal multi-agent logics using a new approach to defining time for individual agents. It is assumed that in any time state each agent (in a sense) generates its own future time, which will only be available for analysis in the future. That is, the defined time interval depends both on the agent and on the initial state where the agent starts to act. It is also assumed that the agent may have intervals of forgotten (lost) time. We investigate problems of unification and problems of computable recognizing admissible inference rules. An algorithm is found for solving these problems based on the construction of a finite computable set of formulas which is a complete set of unifiers. We use the technique of projective formulas developed by S. Ghilardi. It is proved that any unifiable formula is in fact projective and an algorithm is constructed which creates its projective unifier. Thereby we solve the unification problem, and based at this, find the solution to the open problem of computable recognizing admissible inference rules.
Keywords: temporal logics, multi-agent logics, admissible inference rules, unification problem, solving algorithms. 
@article{AL_2022_61_5_a4,
     author = {V. V. Rybakov},
     title = {Dynamic temporal logical operations in multi-agent logics},
     journal = {Algebra i logika},
     pages = {600--618},
     publisher = {mathdoc},
     volume = {61},
     number = {5},
     year = {2022},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2022_61_5_a4/}
}
TY  - JOUR
AU  - V. V. Rybakov
TI  - Dynamic temporal logical operations in multi-agent logics
JO  - Algebra i logika
PY  - 2022
SP  - 600
EP  - 618
VL  - 61
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2022_61_5_a4/
LA  - ru
ID  - AL_2022_61_5_a4
ER  - 
%0 Journal Article
%A V. V. Rybakov
%T Dynamic temporal logical operations in multi-agent logics
%J Algebra i logika
%D 2022
%P 600-618
%V 61
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2022_61_5_a4/
%G ru
%F AL_2022_61_5_a4
V. V. Rybakov. Dynamic temporal logical operations in multi-agent logics. Algebra i logika, Tome 61 (2022) no. 5, pp. 600-618. http://geodesic.mathdoc.fr/item/AL_2022_61_5_a4/