Remarks about the unification types of some locally tabular normal modal logics
Résumé
It 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.
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|