Elementary unification in modal logic KD45 - Archive ouverte HAL
Article Dans Une Revue IfColog Journal of Logics and their Applications (FLAP) Année : 2018

Elementary unification in modal logic KD45

Philippe Balbiani
Logique, Interaction, Langue et Calcul
Centre National de la Recherche Scientifique
Tinko Tinchev
  • Fonction : Auteur
  • PersonId : 1147406
Sofia University "St. Kliment Ohridski"

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
balbiani_22118.pdf (301.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO)  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02365660

Soumis le : vendredi 15 novembre 2019-14:43:17

Dernière modification le : lundi 20 novembre 2023-11:44:23

Archivage à long terme le : dimanche 16 février 2020-17:19:25

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-02365660 , version 1

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
42 Consultations
203 Téléchargements

Partager

More