About the type of modal logics for the unification problem
| Autor: | Rostamigiv, Maryam |
|---|---|
| Přispěvatelé: | Rostamigiv, Maryam, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier, Philippe Balbiani, Olivier Gasquet, Çigdem Gencer, François Schwarzentruber, Tinko Tinchev |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]
simple epistemic logic logique modale [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] unification fusion de la logique modale logique épistémique simple logique épistémique dynamique [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] fusion of modal logic dynamic epistemic logic [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] modal logic |
| Zdroj: | Logic in Computer Science [cs.LO]. Université Toulouse III-Paul Sabatier, 2020. English |
| Popis: | In this thesis, we shall investigate the unification problem in ordinary modal logics, fusions of two modal logics, and multi-modal epistemic logics. With respect to a propositional logic L, given a formula A, we have to find substitutions s such that s(A) is in L. When they exist, these substitutions are called unifiers of A in L. We study different methods for the construction of minimal complete sets of unifiers of a given formula A and according to the cardinality of these minimal complete sets, we shall discuss the unification type of A. Then, we determine the unification types of several propositional logics. Dans cette thèse, nous étudierons le problème de l’unification dans les logiques modales ordinaires, les fusions de deux logiques modales et les logiques épistémiques multi-modales. Relativement à une logique propositionnelle L, étant donnée une formule A, nous devons trouver des substitutions s telles que s(A) est dans L. Lorsqu’elles existent, ces substitutions sont appelées unifieurs de A dans L. Nous étudions différentes méthodes pour construire des ensembles minimaux complets d’unifieurs d’une formule donnée A et, en fonction de la cardinalité des ces ensembles minimaux complets, nous discutons du type de l’unification de A. Enfin, nous déterminons les types de l’unification de plusieurs logiques propositionnelles |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|