×

Remarks about the unification types of some locally tabular normal modal logics. (English) Zbl 1515.03088

Summary: It is already known that unifiable formulas in normal modal logic \(\mathbf{K}+\square^2\bot\) are either finitary or unitary and unifiable formulas in normal modal logic \(\mathbf{Alt}_1+\square^2\bot\) are unitary. In this paper, we prove that for all \(d\geq 3\), unifiable formulas in normal modal logic \(\mathbf{K}+\square^d\bot\) are either finitary or unitary and unifiable formulas in normal modal logic \(\mathbf{Alt}_1+\square^d\bot\) are unitary.

MSC:

03B45 Modal logic (including the logic of norms)