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...
Gespeichert in:
Veröffentlicht in: | Izvestiâ Irkutskogo gosudarstvennogo universiteta. Seriâ "Matematika" (Online) 2023-01, Vol.44 (1), p.108-115 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
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 |