Bulletin of Irkutsk State University. Series Mathematics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Bulletin of Irkutsk State University. Series Mathematics:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Bulletin of Irkutsk State University. Series Mathematics, 2023, Volume 44, Pages 108–115
DOI: https://doi.org/10.26516/1997-7670.2023.44.108 (Mi iigum529) 		 
Algebraic and logical methods in computer science and artificial intelligence

Formulas expressing totally nonstable truth values of formulas

Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich

Siberian Federal University, Krasnoyarsk, Russian Federation
Full-text PDF (659 kB)
References:
PDF
HTML
DOI: https://doi.org/10.26516/1997-7670.2023.44.108
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.
Keywords: modal logic, frame and model Kripke, satisfiability problem, decidability of logic.
Funding agency Grant number
Russian Science Foundation 23-21-00213
The research was financially supported by the Russian Scientific Foundation (Project No. 23-21-00213 ).
Received: 21.01.2023
Revised: 14.03.2021
Accepted: 20.03.2023
Document Type: Article
UDC: 510.665, 510.643
MSC: 03B45, 03H05
Language: English
Citation: Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Bulletin of Irkutsk State University. Series Mathematics, 44 (2023), 108–115
Citation in format AMSBIB
\Bibitem{RybKiyGre23}
\by Vladimir~V.~Rybakov, Vladimir~R.~Kiyatkin, Konstantin~V.~Grekovich
\paper Formulas expressing totally nonstable truth values of formulas
\jour Bulletin of Irkutsk State University. Series Mathematics
\yr 2023
\vol 44
\pages 108--115
\mathnet{http://mi.mathnet.ru/iigum529}
\crossref{https://doi.org/10.26516/1997-7670.2023.44.108}
Linking options:
  • https://www.mathnet.ru/eng/iigum529
  • https://www.mathnet.ru/eng/iigum/v44/p108
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:82
    Full-text PDF :40
    References:10
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024