Satisfiability problem in interval FP-logic

DOI10.26516/1997-7670.2023.44.98OpenAlexW4379470746MaRDI QIDQ6115004

Nikita Aleksandrovich Protsenko, Vladimir Vladimirovich Rybakov, Vitaliĭ Valentinovich Rimatskiĭ

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=1453

zbMATH Keywords

modal logicsatisfiability problemframe and model Kripke

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unification in linear temporal logic LTL
• Temporal logic with accessibility temporal relations generated by time states themselves
• Linear temporal logic with until and next, logical consecutions
• Branching time logics with multiagent temporal accessibility relations
• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Unification in the Description Logic EL
• Non-transitive linear temporal logic and logical knowledge operations
• Unification in a Description Logic with Transitive Closure of Roles
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Expressive number restrictions in description logics
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

This page was built for publication: Satisfiability problem in interval FP-logic