Unification in modal and description logics
DOI10.1093/JIGPAL/JZQ008zbMATH Open1258.03018DBLPjournals/igpl/BaaderG11OpenAlexW2121093145WikidataQ57383688 ScholiaQ57383688MaRDI QIDQ2889571FDOQ2889571
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
Recommendations
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)
Cited In (38)
- What is essential unification?
- Unification of concept terms in description logics
- A syntactic approach to unification in transitive reflexive modal logics
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
- Undecidability of the unification and admissibility problems for modal and 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}^+\)
- 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
- Title not available (Why is that?)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
- Admissibility and Unifiability in Contact Logics
- Title not available (Why is that?)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Unification in a description logic with transitive closure of roles
- Unification in first-order transitive modal logic
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Unification in pretabular extensions of S4
- Filtering unification and most general unifiers in modal logic
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Rules with parameters in modal logic. I.
- Unification types and union splittings in intermediate logics
- Approximate unification in the description logic \(\mathcal {FL}_0\)
- 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
- Unifying Theories of Logic and Specification
- Finitary unification in locally tabular modal logics characterized
- Unifying F-logic molecules: a rectification to the original unification algorithm
- Title not available (Why is that?)
- 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)
