Remarks about the unification types of some locally tabular normal modal logics

International audienceIt is already known that unifiable formulas in normal modal logic K + Box Box ⊥ are either finitary, or unitary and unifiable formulas in normal modal logic Alt1 + Box Box ⊥ are unitary. In this paper, we prove that for all d≥3, unifiable formulas in normal modal logic K + Box^{d} ⊥ are either finitary, or unitary and unifiable formulas in normal modal logic Alt1 + Box^{d} ⊥ are unitary