KD is nullary
From MaRDI portal
Publication:4586229
DOI10.1080/11663081.2018.1428000zbMath1398.03086OpenAlexW2793392276MaRDI QIDQ4586229
Çiğdem Gencer, Philippe Balbiani
Publication date: 12 September 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2018.1428000
Related Items
About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \), About the unification type of \(\mathbf{K}+\square \square \bot\), Finitary unification in locally tabular modal logics characterized, Contact Logic is Finitary for Unification with Constants
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Unification in linear temporal logic LTL
- Complexity of admissible rules
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Bases of admissible rules of the logics S4 and Int
- Admissibility of logical inference rules
- Best solving modal equations
- On the admissible rules of intuitionistic propositional logic
- Construction of an Explicit Basis for Rules Admissible in Modal System S4
- Unification in modal and description logics
- Unification in a Description Logic with Transitive Closure of Roles
- A Tableau Method for Checking Rule Admissibility in S4
- Blending margins: the modal logic K has nullary unification type
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
- Unifiability in extensions of K4
- Unification in the Description Logic $\mathcal{EL}$
- One hundred and two problems in mathematical logic
- Unification in intuitionistic logic
- Unification in epistemic logics
- SAT Encoding of Unification in $\mathcal{EL}$
- Undecidability of the unification and admissibility problems for modal and description logics
- Filtering unification and most general unifiers in modal logic
- Logical consecutions in discrete linear temporal logic
- Unification of concept terms in description logics
