Unification in modal and description logics
From MaRDI portal
Publication:2889571
DOI10.1093/jigpal/jzq008zbMath1258.03018OpenAlexW2121093145WikidataQ57383688 ScholiaQ57383688MaRDI QIDQ2889571
Publication date: 8 June 2012
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzq008
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items
A syntactic approach to unification in transitive reflexive modal logics ⋮ About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor ⋮ Admissibility and Unifiability in Contact Logics ⋮ Unnamed Item ⋮ E-Unification based on Generalized Embedding ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ Unification in epistemic logics ⋮ KD is nullary ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Contact Logic is Finitary for Unification with Constants ⋮ What Is Essential Unification? ⋮ Unification in pretabular extensions of S4 ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality ⋮ Rules with parameters in modal logic. I.
