рус eng
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

List of issues > Series «Mathematics». 2023. Vol 44

Formulas Expressing Totally Nonstable Truth Values of Formulas

Author(s)
Vladimir V. Rybakov1, Vladimir R. Kiyatkin1, Konstantin V. Grekovich1

1Siberian Federal University, Krasnoyarsk, Russian Federation

Abstract
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.
About the Authors

Vladimir V. Rybakov, Dr. Sci. (Phys.–Math.), Prof., Siberian Federal University, Krasnoyarsk, 660041, Russian Federation, Rybakov@mail.ru

Vladimir R. Kiyatkin, Cand. Sci. (Phys.–Math), Assoc. Prof. Siberian Federal University, Krasnoyarsk, 660041, Russian Federation, KiyatkinVR@mail.ru

Konstantin V. Grekovich, Siberian Federal University, Krasnoyarsk, 660041, Russian Federation, propro879@gmail.com

For citation
Rybakov V. V., Kiyatkin V. R., Grekovich K. V. Formulas Expressing Totally Nonstable Truth Values of Formulas. The Bulletin of Irkutsk State University. Series Mathematics, 2023, vol. 44, pp. 108–115. https://doi.org/10.26516/1997-7670.2023.44.108
Keywords
modal logic, frame and model Kripke, satisfiability problem, decidability of logic
UDC
510.665, 510.643
MSC
03B45, 03H05
DOI
https://doi.org/10.26516/1997-7670.2023.44.108
References
  1. Babenyshev S., Rybakov V. Linear Temporal Logic LTL: Basis for Admissible Rules. J. Logic and Computation, 2011, vol. 21, no. 2, pp. 157–177. https//doi.org/10.1-093/logcom/exq020
  2. Gabbay D.M., Hodkinson I.M. An axiomatization of the temporal logic with Until and Since over the real numbers. Journal of Logic and Computation, 1990, vol. 1, no. 1, pp. 229–260.
  3. Gabbay D.M., Hodkinson I.M., Reynolds M.A. Temporal Logic: Mathematical foundations and computational aspects. Vol. 1. Oxford, Clarendon Press, 1994, 653 p.
  4. Goldblatt R. Logics of Time and Computations. CSLI pubblications, Stanford University, 1992, Chapter 6.
  5. Goranko V. Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information, 1996, vol. 5. no. 1, pp. 1–24.
  6. Rybakov V. Logical Consecutions in Discrete Linear Temporal Logic. J. of Symbolic Logic, 2005, vol. 70, no. 4, pp. 1137–1149.
  7. Rybakov V. Linear temporal logic with until and next, logical consecutions. Annals of Pure and Applied Logic, 2008, no. 155, pp. 32–45.
  8. Rybakov V. Logic of knowledge and discovery via interacting agents decision algorithm for true and satisfiable statements. Information Sciences, 2009, vol. 179, no. 11, pp. 1608–1614.
  9. Rybakov V. Linear Temporal Logic 𝐿𝑇𝐿𝐾𝑛 extended by Multi-Agent Logic 𝐾𝑛 with Interacting Agents. Journal of logic and Computation, 2009, vol. 19, no. 6, pp. 989–1017.
  10. Rybakov V. Logical Analysis for Chance Discovery in Multi-Agents’ Environment. KES-2012, Conference Proceedings, Springer, 2012, pp. 1593–1601.
  11. Rybakov V. Writing out unifiers in linear temporal logic. Journal of Logic and Computation, 2012, vol. 22, no. 5, pp. 1199–1206.
  12. Rybakov V. Non-transitive linear temporal logic and logical knowledge operations. J. Logic and Computation, 2016, vol. 26, no. 3, pp. 945–958.
  13. Rybakov V. Multiagent temporal logics with multivaluations. Siberian Mathematical Journal, Pleiades Publishing (USA), 2018, vol. 59, no. 4, pp. 710–720.
  14. Rybakov V. Temporal multi-valued logic with lost worlds in the past. Siberian Electronic mathematical Reports, 2018, vol. 15, no. 1, pp. 436–449.
  15. Rybakov V. Branching time agents’ logic, satisfiability problem by rules in reduced form. Siberian Electronic mathematical Reports, 2019, vol. 16, no. 1, pp. 1158–1170. https://doi.org/10.33048/semi.201916.079
  16. van Benthem J. Tense logic and time. Notre Dame J. Formal Logic, 1984, vol. 25, no. 1, pp. 1–16.
  17. Vardi M.Y. An automata-theoretic approach to linear temporal logic. Y. Banff Higher Order Workshop, 1995, pp. 238–266.
  18. Vardi M.Y. Reasoning about the past with two-way automata. Larsen K.G., Skyum S., Winskel G., ICALP, LNCS, Springer, 1998, no. 1443, pp. 628–641.
  19. Venema Yde. Temporal Logic. Lou Goble (ed.) Blackwell Guide on Philosophical Logic, Blackwell Publishers, 2001, pp. 203–211.

Full text (english)