About the type of modal logics for the unification problem - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2020

About the type of modal logics for the unification problem

A propos du type de logiques modales pour le problème d'unification

Maryam Rostamigiv
  • Fonction : Auteur
  • PersonId : 1074217
  • IdRef : 245339205

Résumé

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
Fichier principal
Vignette du fichier
example.pdf (1.07 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-03341556 , version 1 (11-09-2021)

Identifiants

  • HAL Id : tel-03341556 , version 1

Citer

Maryam Rostamigiv. About the type of modal logics for the unification problem. Logic in Computer Science [cs.LO]. Université Toulouse III - Paul Sabatier, 2020. English. ⟨NNT : ⟩. ⟨tel-03341556⟩
61 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More