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...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
Irkutsk State University
2023-06-01
|
| Serier: | Известия Иркутского государственного университета: Серия "Математика" |
| Fag: | |
| Online adgang: | http://mathizv.isu.ru/en/article/file?id=1454 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|