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

Celý popis

Podrobná bibliografie

Hlavní autoři:	V.V. Rybakov, V.R. Kiyatkin, K. V. Grekovich
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Irkutsk State University 2023-06-01
Edice:	Известия Иркутского государственного университета: Серия "Математика"
Témata:	modal logic frame and model kripke satisfiability problem decidability of logic
On-line přístup:	http://mathizv.isu.ru/en/article/file?id=1454
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!