OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Unification in modal logic

Balbiani, Philippe Unification in modal logic. (2019) In: Indian Conference on Logic and Its Applications (ICLA), 1 March 2019 - 5 March 2019 (Delhi, India).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
264kB

Official URL: https://doi.org/10.1007/978-3-662-58771-3_1

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 11600 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-662-58771-3 The original PDF is available at: https://doi.org/10.1007/978-3-662-58771-3_1
HAL Id:hal-02891615
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited On:07 Jul 2020 06:46

Repository Staff Only: item control page