Undecidability of the unification and admissibility problems for modal and description logics (original) (raw)
Related papers
A gentle introduction to unification in modal logics
HAL (Le Centre pour la Communication Scientifique Directe), 2019
Modal logics, description logics and arithmetic reasoning
Artificial Intelligence, 1999
About the unification type of modal logic K5 and its extensions
HAL (Le Centre pour la Communication Scientifique Directe), 2021
Unification in the Description Logic EL
Computing Research Repository - CORR, 2010
Unification and Passive Inference Rules for Modal Logics
Journal of Applied Non-Classical Logics, 2000
Fusions of Description Logics and Abstract Description Systems
2011
23rd International Workshop on Description Logics …, 2010
Hybrid Unification in the Description Logic EL
Bundled fragments of first-order modal logic: (un)decidability
2018
Unification in the Description Logic
2011
On Formalizing Logical Modalities
2021
Non-Normal Modal Description Logics (Extended Version)
arXiv (Cornell University), 2023
On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions
2003
Unification in modal logic Alt1
2016
Unification in the Description Logic mathcalEL\mathcal{EL}mathcalEL
Lecture Notes in Computer Science, 2009
A simplest undecidable modal logic
2011
Principles of KLM-style Defeasible Description Logics
ACM Transactions on Computational Logic, 2021
Unification in transitive reflexive modal logics
A Survey of Decidable First-Order Fragments and Description Logics
2004
Products of ‘transitive’modal logics. Part I:‘negative’results
2004
Definitorially Complete Description Logics
2006
Lecture Notes in Computer Science, 2011
A Systematic Presentation of Quantified Modal Logics
Logic Journal of IGPL, 2002
Elementary Unification in Modal Logic KD45
FLAP, 2018
Theoretical Foundations of Defeasible Description Logics
ArXiv, 2019
arXiv (Cornell University), 2020
Decidable and Undecidable Logics With a Binary Modality
Journal of Logic, Language and …, 1995
Logical and Computational Properties of the Description Logic
Realization Theorems for Justification Logics: Full Modularity
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings, 2015
Studia Logica - An International Journal for Symbolic Logic, 1995
Representability in second-order propositional poly-modal logic
Journal of Symbolic Logic, 2002