Geodesic
Temporal logic with overlap temporal relations generated by time states themselves
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. 923-932

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

We study a temporal logic with non–standard temporal accessibility relations. This logic is generated by semantic underground models, and any such a model has a base formed by a frame with temporal relations generated by temporal states themselves; potentially, any state possesses its own temporal accessibility relation, and it is possible that all of them can be different. We consider this to be the most plausible modelling, because any time state has, in principle, its own view on what is past (or future). Time relations may have non–empty overlaps and they can be totally intransitive. Thus, this approach may be suitable for analysis of the most general cases of reasoning about computation, information flows, reliability, and other areas of AI and CS. The main mathematical question under consideration here is the existence of algorithms for solving satisfiability problems. Here we solve this problem and find the required algorithms. In the final part of our paper we formulate some interesting open problems.
Keywords: temporal logic, non–classical logics, knowledge representation, deciding algorithms, computability, satisfiability, decidability.
Mots-clés : information, information 
@article{SEMR_2020_17_a18,
     author = {V. V. Rybakov},
     title = {Temporal logic with overlap temporal relations generated by time states themselves},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {923--932},
     publisher = {mathdoc},
     volume = {17},
     year = {2020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2020_17_a18/}
}
TY  - JOUR
AU  - V. V. Rybakov
TI  - Temporal logic with overlap temporal relations generated by time states themselves
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2020
SP  - 923
EP  - 932
VL  - 17
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2020_17_a18/
LA  - en
ID  - SEMR_2020_17_a18
ER  - 
%0 Journal Article
%A V. V. Rybakov
%T Temporal logic with overlap temporal relations generated by time states themselves
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2020
%P 923-932
%V 17
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2020_17_a18/
%G en
%F SEMR_2020_17_a18
V. V. Rybakov. Temporal logic with overlap temporal relations generated by time states themselves. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. 923-932. http://geodesic.mathdoc.fr/item/SEMR_2020_17_a18/