Elementary unification in modal logic KD45
Résumé
In this paper, we show that every KD45-unifiable formula has a projective unifier. As a corollary, we conclude that KD45 has unitary type for elementary unification.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...