Unification in modal logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Unification in modal logic

Résumé

In this talk, we will give a survey of the results on unification in modal logic and we will present some of the open problems whose solution will have a great impact on the future of the area. After an introductory part about unification in equational theories, we will consider the case of Boolean unification, we will study the unification problem in Intuitionistic Propositional Logic and transitive normal modal logics like K4, we will introduce the notions of projective and transparent unifiers and we will define filtering unification. Then, we will present the latest results obtained within the context of unification in description logics and in multimodal, tense and epistemic logics.
Fichier principal
Vignette du fichier
Balbiani_26169.pdf (258.15 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02411246 , version 1 (14-12-2019)
hal-02411246 , version 2 (07-07-2020)

Identifiants

Citer

Philippe Balbiani. Unification in modal logic. 8th Indian Conference on Logic and Its Applications (ICLA 2019), Mar 2019, Delhi, India. pp.1-5, ⟨10.1007/978-3-662-58771-3_1⟩. ⟨hal-02411246v2⟩
74 Consultations
151 Téléchargements

Altmetric

Partager

More