Unification in modal logic Alt₁

MaRDI QIDQ4636029zbMATH OpenFDO

Authors Philippe Balbiani, Tinko Tinchev

Publication date 23 April 2018

zbMATH Keywords

unification typecomputability of unifiabilitymodal logic \(\mathrm{Alt}_1\)sub-Boolean variants

Mathematics Subject Classification ID

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

Recommendations

• 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
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
• Unification types in Euclidean modal logics
• Publication:4489067

Cited in

(11)

• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• scientific article; zbMATH DE number 7599937 (Why is no real title available?)
• About the unification types of modal logics
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
• Filtering unification and most general unifiers in modal logic
• KD is nullary
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification in first-order transitive modal logic
• Projective unification in weakly transitive and weakly symmetric modal logics
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Projective unification in modal logic

This page was built for publication: Unification in modal logic \(\mathrm{Alt}_1\)

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