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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Article Dans Une Revue
Logic Journal of the IGPL
Année : 2022
Philippe Balbiani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03762124
Soumis le : vendredi 26 août 2022-17:33:47
Dernière modification le : lundi 20 novembre 2023-11:44:23
Archivage à long terme le : dimanche 27 novembre 2022-18:54:54
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⟩
Collections
28
Consultations
90
Téléchargements