Skip to Main content Skip to Navigation
Conference papers

Unification in modal logic

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02411246
Contributor : Open Archive Toulouse Archive Ouverte (oatao) Connect in order to contact the contributor
Submitted on : Tuesday, July 7, 2020 - 8:47:01 AM
Last modification on : Tuesday, October 19, 2021 - 2:23:36 PM
Long-term archiving on: : Friday, November 27, 2020 - 12:05:41 PM

File

Balbiani_26169.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

40

Files downloads

125