Geodesic
Formulas expressing totally nonstable truth values of formulas
The Bulletin of Irkutsk State University. Series Mathematics, Tome 44 (2023), pp. 108-115

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

In this short paper we consider problem of nonstable truth values of formulas. We investigate temporal-modal logic for description of reliability information. The logic itself is generated by rather standard models on linear time. We consider intervals of nonstable truth values of formulas. This mean that the formula permanently and for a reasonably big time change its truth from true to false and vice versa. We aim to construct some technique and to find an algorithm which may recognize permanently nonstable formulas.
Keywords: modal logic, frame and model Kripke, satisfiability problem, decidability of logic. 
@article{IIGUM_2023_44_a8,
     author = {Vladimir V. Rybakov and Vladimir R. Kiyatkin and Konstantin V. Grekovich},
     title = {Formulas expressing totally nonstable truth values of formulas},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {108--115},
     publisher = {mathdoc},
     volume = {44},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2023_44_a8/}
}
TY  - JOUR
AU  - Vladimir V. Rybakov
AU  - Vladimir R. Kiyatkin
AU  - Konstantin V. Grekovich
TI  - Formulas expressing totally nonstable truth values of formulas
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2023
SP  - 108
EP  - 115
VL  - 44
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2023_44_a8/
LA  - en
ID  - IIGUM_2023_44_a8
ER  - 
%0 Journal Article
%A Vladimir V. Rybakov
%A Vladimir R. Kiyatkin
%A Konstantin V. Grekovich
%T Formulas expressing totally nonstable truth values of formulas
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2023
%P 108-115
%V 44
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2023_44_a8/
%G en
%F IIGUM_2023_44_a8
Vladimir V. Rybakov; Vladimir R. Kiyatkin; Konstantin V. Grekovich. Formulas expressing totally nonstable truth values of formulas. The Bulletin of Irkutsk State University. Series Mathematics, Tome 44 (2023), pp. 108-115. http://geodesic.mathdoc.fr/item/IIGUM_2023_44_a8/