Pages that link to "Item:Q5241921"

The following pages link to Remarks about the unification type of several non-symmetric non-transitive modal logics (Q5241921):

Displaying 10 items.

• A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
• Unification problem in Nelson's logic \(\mathbf{N4}\) (Q892014) (← links)
• About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
• T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)
• (Q5039110) (← links)
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
• Projective unification in weakly transitive and weakly symmetric modal logics (Q5866481) (← links)
• Remarks about the unification types of some locally tabular normal modal logics (Q5877709) (← links)
• About the unification types of modal logics (Q6612813) (← links)