LogoLogo

Rostamigiv, Maryam. About the type of modal logics for the unification problem

Rostamigiv, Maryam (2020). About the type of modal logics for the unification problem.

[img]PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
1135Kb

Résumé en francais

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 telle 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.

Sous la direction du :
Directeur de thèse
Balbiani, Philippe
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Déduction automatique - Logiques modales - Problème de l'unification - Types pour l'unification
Sujets :Informatique
Déposé le :16 Dec 2021 13:38