Unification types in Euclidean modal logics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logic Journal of the IGPL Année : 2022

Unification types in Euclidean modal logics

Résumé

We prove that K5 and some of its extensions which do not contain K4 are of unification type 1.
Fichier principal
Vignette du fichier
K5_unification_35.pdf (346.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03762124 , version 1 (26-08-2022)

Identifiants

Citer

Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi. Unification types in Euclidean modal logics. Logic Journal of the IGPL, 2022, pp.jzab036. ⟨10.1093/jigpal/jzab036⟩. ⟨hal-03762124⟩
8 Consultations
55 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More