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

DOI10.1007/s10472-021-09768-wOpenAlexW3198746076MaRDI QIDQ2134937

Çiğdem Gencer, Maryam Rostamigiv, Philippe Balbiani, Tinko Tinchev

Publication date: 4 May 2022

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-021-09768-w

zbMATH Keywords

propositional modal logicsunification problemunification typeslocally tabular modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A syntactic approach to unification in transitive reflexive modal logics
• Unification, finite duality and projectivity in varieties of Heyting algebras
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
• Restricted unification in the DL \(\mathcal{FL}_0\)
• Tools and techniques in modal logic
• Best solving modal equations
• Unification in modal and description logics
• Projective unification in modal logic
• Blending margins: the modal logic K has nullary unification type
• The extensions of the modal logic K5
• Products of modal logics, part 1
• Unification in epistemic logics
• KD is nullary
• Projective unification in transitive modal logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Filtering unification and most general unifiers in modal logic
• Definability and Canonicity for Boolean Logic with a Binary Relation
• Unification of concept terms in description logics

This page was built for publication: About the unification type of \(\mathbf{K}+\square \square \bot\)