Article Dans Une Revue Logic Journal of the IGPL Année : 2022

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.

Fichier principal
Vignette du fichier
Unif_loc_tab_logics_25.pdf (481.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03762700 , version 1 (28-08-2022)

Licence

Identifiants

Citer

Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev. Remarks about the unification types of some locally tabular normal modal logics. Logic Journal of the IGPL, 2022, 31 (1), pp.Pages 115-139. ⟨10.1093/jigpal/jzab033⟩. ⟨hal-03762700⟩
160 Consultations
194 Téléchargements

Altmetric

Partager

  • More