About the unification type of modal logics between KB and KTB

DOI10.1007/S11225-019-09883-0MaRDI QIDQ831218zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Çiğdem Gencer

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)

Recommendations

• scientific article; zbMATH DE number 7599937
• Remarks about the unification types of some locally tabular normal modal logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification types in Euclidean modal logics
• Blending margins: the modal logic K has nullary unification type

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• KD is nullary
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Admissibility of logical inference rules
• Best solving modal equations
• Blending margins: the modal logic K has nullary unification type
• Complexity of admissible rules
• Elementary unification in modal logic \(KD45\)
• Every world can see a Sahlqvist world
• Modal logic
• Projective unification in modal logic
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Rules with parameters in modal logic. I.
• Unification in epistemic logics
• Unification in modal and description logics
• Unification in modal logic \(\mathrm{Alt}_1\)
• Unification theory
• Unification types in logic

Cited in

(8)

• Unification in modal logic \(\mathrm{Alt}_1\)
• scientific article; zbMATH DE number 7599937 (Why is no real title available?)
• About the unification types of modal logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Blending margins: the modal logic K has nullary unification type
• Elementary unification in modal logic \(KD45\)
• Remarks about the unification types of some locally tabular normal modal logics

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

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