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)