Formulas Expressing Totally Nonstable Truth Values of Formulas

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 mea...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Izvestiâ Irkutskogo gosudarstvennogo universiteta. Seriâ "Matematika" (Online) 2023-01, Vol.44 (1), p.108-115
Hauptverfasser: Rybakov, V. V., Kiyatkin, V. R., Grekovich, K. V.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1997-7670
2541-8785
DOI:10.26516/1997-7670.2023.44.108