Decidable fragments of first-order modal logics

From MaRDI portal
Publication:2758067

DOI10.2307/2695115zbMath0996.03010OpenAlexW2138126349MaRDI QIDQ2758067

Frank Wolter, Michael Zakharyashchev

Publication date: 26 March 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1752




Related Items

Quantified epistemic logics for reasoning about knowledge in multi-agent systemsComplexity of finite-variable fragments of propositional temporal and modal logics of computationParameterized verification of leader/follower systems via first-order temporal logicPS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)Epistemic logics with quantification over epistemic operators: decidability and expressivenessБинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal LogicAre bundles good deals for first-order modal logic?Semiproducts, products, and modal predicate logics: some examplesUnnamed ItemOn the decidability and complexity of reasoning about only knowingPropositional epistemic logics with quantification over agents of knowledgeMechanising first-order temporal resolutionUnnamed ItemA Complete Quantified Epistemic Logic for Reasoning about Message Passing SystemsUnnamed ItemUndecidability of First-Order Intuitionistic and Modal Logics with Two variablesFirst-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic FragmentUndecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letterDecidable fragments of first-order temporal logics



Cites Work


This page was built for publication: Decidable fragments of first-order modal logics