RUS  ENG
Full version
JOURNALS // Bulletin of Irkutsk State University. Series Mathematics // Archive

Bulletin of Irkutsk State University. Series Mathematics, 2023 Volume 44, Pages 108–115 (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

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.

UDC: 510.665, 510.643

MSC: 03B45, 03H05

Received: 21.01.2023
Revised: 14.03.2021
Accepted: 20.03.2023

Language: English

DOI: 10.26516/1997-7670.2023.44.108



© Steklov Math. Inst. of RAS, 2025