Bundled fragments of first-order modal logic: (un)decidability (original) (raw)
Related papers
Generalized Bundled Fragments for First-Order Modal Logic
Le Centre pour la Communication Scientifique Directe - HAL - Université de Nantes, 2022
Quantified Modal Logics: One Approach to Rule (Almost) them All!
Journal of philosophical logic, 2024
A General Semantics for Quantified Modal Logic
2006
Modal Logic with Bounded Quantification over Worlds
Journal of Logic and Computation, 2001
A Systematic Presentation of Quantified Modal Logics
Logic Journal of IGPL, 2002
Labelled Modal Logics: Quantifiers
Journal of Logic Language and Information, 1998
The semantics of modal predicate logic II. Modal individuals revisited
Intensionality, 2005
Modal Languages and Bounded Fragments of Predicate Logic
Hajnal Andréka, Andreka Hajnal, István Németi, Johan van Benthem
Journal of Philosophical Logic, 1998
First-order classical modal logic
Studia Logica - An International Journal for Symbolic Logic, 2006
Local properties in modal logic
Artificial Intelligence, 2012
Universal First-Order Definability in Modal Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1980
Propositional Modal Logic with Implicit Modal Quantification
Lecture Notes in Computer Science, 2019
Reasoning about local properties in modal logic
The 10th International …, 2011
Generalized quantifiers and modal logic
Journal of Logic, Language and Information, 1993
A Note on Hybrid Modal Logic with Propositional Quantiers
9th Indian Conference on Logic and its Applications, 2021
On the relative succinctness of modal logics with union, intersection and quantification
adaptive agents and multi-agents systems, 2014
A Note on Hybrid Modal Logic with Propositional Quantiers (Work in Progress)
9th Indian Conference on Logic and its Applications (Online), 2021
Undecidability of the unification and admissibility problems for modal and description logics
ACM Transactions on Computational Logic, 2008
J Pharmacol Exp Ther, 2004
Failures of the Interpolation Lemma in Quantified Modal Logic
Guilherme Messias Pereira Lima
Representability in second-order propositional poly-modal logic
Journal of Symbolic Logic, 2002
Advances in Modal Logic, 2024
Modal Logic as Higher-Order Logic
MISCELLANEA LOGICA
Back and Forth Between Modal Logic and Classical Logic
Logic Journal of The Igpl / Bulletin of The Igpl, 1995
Labelled calculi for quantified modal logics with definite descriptions
2021
On the succinctness of some modal logics
Artificial Intelligence, 2013
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
Bulletin of Symbolic Logic, 2005
A gentle introduction to unification in modal logics
HAL (Le Centre pour la Communication Scientifique Directe), 2019
2011: Combinations and completeness transfer for quantified modal logics
Logic Journal of IGPL, 2011
Counterpart Semantics a Foundational Study on Quantified Modal Logics
2002
A simplest undecidable modal logic
2011
Studia Logica - An International Journal for Symbolic Logic, 1995
Quantified Modal Logic With Rigid Terms
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1988
Deciding Modal Logics through Relational Translations into GF2