Geodesic
Temporal multi-valued logic with lost worlds in the past
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 15 (2018), pp. 436-449

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

We study many–valued temporal multi–agent logics based on non-transitive models. The semantical basis, i. e., relational models, are used for modelling of computational processes and analysis of databases with incomplete information, for instance, with information forgotten in the past. In the situation we consider, the agents' accessibility relations may have lacunas: agents may have no access to some potentially known and stored information. Yet innovative point is that in the relational models we consider various valuations $V_i$ for agents' knowledge and a global valuation based on these valuations. Besides, agents' logical operations inside formulas may be nested, as a consequence they may interfere; that is, we consider not autonomous but cooperating agents. Satisfiability and decidability issues are discussed. We find algorithms solving satisfiability problem and hence we obtain the decidability of the decidability problem. Open problems are discussed.
Keywords: many–valued logic, multi–agent logic, temporal logic, computability, satisfiability, decidability, deciding algorithms, non–transitive time.
Mots-clés : information 
@article{SEMR_2018_15_a12,
     author = {V. V. Rybakov},
     title = {Temporal multi-valued logic with lost worlds in the past},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {436--449},
     publisher = {mathdoc},
     volume = {15},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2018_15_a12/}
}
TY  - JOUR
AU  - V. V. Rybakov
TI  - Temporal multi-valued logic with lost worlds in the past
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2018
SP  - 436
EP  - 449
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2018_15_a12/
LA  - en
ID  - SEMR_2018_15_a12
ER  - 
%0 Journal Article
%A V. V. Rybakov
%T Temporal multi-valued logic with lost worlds in the past
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2018
%P 436-449
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2018_15_a12/
%G en
%F SEMR_2018_15_a12
V. V. Rybakov. Temporal multi-valued logic with lost worlds in the past. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 15 (2018), pp. 436-449. http://geodesic.mathdoc.fr/item/SEMR_2018_15_a12/