Unification in modal and description logics

DOI10.1093/JIGPAL/JZQ008MaRDI QIDQ2889571zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Franz Baader, Silvio Ghilardi

Publication date 8 June 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzq008

zbMATH Keywords

description logicmodal logicequational unification problem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• Undecidability of the unification and admissibility problems for modal and description logics
• Unification of concept terms in description logics
• Publication:4489067
• Unification theory
• Unification in a description logic with transitive closure of roles

Cited in

(38)

• What is essential unification?
• A syntactic approach to unification in transitive reflexive modal logics
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
• Unification of concept terms in description logics
• On unification and admissible rules in Gabbay-de Jongh logics
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Undecidability of the unification and admissibility problems for modal and description logics
• Unification and Passive Inference Rules for Modal Logics
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
• E-unification based on generalized embedding
• Admissibility and unification in the modal logics related to S4.2
• scientific article; zbMATH DE number 1471983 (Why is no real title available?)
• UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
• Admissibility and Unifiability in Contact Logics
• scientific article; zbMATH DE number 2015273 (Why is no real title available?)
• Unification in a description logic with transitive closure of roles
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Unification in pretabular extensions of S4
• Unification in first-order transitive modal logic
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Filtering unification and most general unifiers in modal logic
• Rules with parameters in modal logic. I.
• Approximate unification in the description logic \(\mathcal {FL}_0\)
• Unification types and union splittings in intermediate logics
• About the unification types of modal logics
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
• Projectivity and unification in substructural logics of generalized rotations
• Finitary unification in locally tabular modal logics characterized
• Unifying Theories of Logic and Specification
• Unifying F-logic molecules: a rectification to the original unification algorithm
• scientific article; zbMATH DE number 7599937 (Why is no real title available?)
• Projective unification in modal logic
• KD is nullary
• Unification in epistemic logics
• Direct product of \(\ell\)-algebras and unification: an application to residuated lattices
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• Contact logic is finitary for unification with constants

This page was built for publication: Unification in modal and description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2889571)