Unification in modal logic Alt₁

zbMATH Open1400.03037MaRDI QIDQ4636029FDOQ4636029

Authors: Philippe Balbiani, Tinko Tinchev 

Publication date: 23 April 2018

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

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)

Cited In (11)

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

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)