Formulas expressing totally nonstable truth values of formulas

DOI10.26516/1997-7670.2023.44.108OpenAlexW4379469352MaRDI QIDQ6115007

Konstantin Vikent'evich Grekovich, Vladimir Rostislavovich Kiyatkin, Vladimir Vladimirovich Rybakov

Publication date: 12 July 2023

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

Full work available at URL: http://mathizv.isu.ru/en/article/file?id=1454

zbMATH Keywords

modal logicsatisfiability problemframe and model Kripkedecidability of logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonstandard models in mathematics (03H05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tense logic and time
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Linear temporal logic with until and next, logical consecutions
• Multiagent temporal logics with multivaluations
• Temporal multi-valued logic with lost worlds in the past
• Hierarchies of modal and temporal logics with reference pointers
• Branching time agents logics, satisfiability problem by rules in reduced form
• Non-transitive linear temporal logic and logical knowledge operations
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Writing out Unifiers in Linear Temporal Logic
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Logical consecutions in discrete linear temporal logic

This page was built for publication: Formulas expressing totally nonstable truth values of formulas