About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)

DOI10.1007/S11225-019-09883-0zbMath1486.03038OpenAlexW2983214208MaRDI QIDQ831218

Çiğdem Gencer, Philippe Balbiani

Publication date: 11 May 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09883-0

zbMATH Keywords

unification typenormal modal logics \(\mathbf{KB}, \mathbf{KDB}\) and \(\mathbf{KTB}\)unification with parameters

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

About the unification type of \(\mathbf{K}+\square \square \bot\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity of admissible rules
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Admissibility of logical inference rules
• Best solving modal equations
• Rules with parameters in modal logic. I.
• Unification in modal and description logics
• Projective unification in modal logic
• Blending margins: the modal logic K has nullary unification type
• Unification in epistemic logics
• KD is nullary
• Remarks about the unification type of several non-symmetric non-transitive modal logics

This page was built for publication: About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)