Elementary unification in modal logic KD45 - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue IfColog Journal of Logics and their Applications (FLAP) Année : 2018

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.
Fichier principal
Vignette du fichier
balbiani_22118.pdf (301.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02365660 , version 1 (15-11-2019)

Identifiants

  • HAL Id : hal-02365660 , version 1
  • OATAO : 22118

Citer

Philippe Balbiani, Tinko Tinchev. Elementary unification in modal logic KD45. IfColog Journal of Logics and their Applications (FLAP), 2018, 5 (1), pp.301-317. ⟨hal-02365660⟩
26 Consultations
84 Téléchargements

Partager

Gmail Facebook X LinkedIn More