Skip to Main content Skip to Navigation

About the type of modal logics for the unification problem

Maryam Rostamigiv 1 
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Complete list of metadata
Contributor : Maryam Rostamigiv Connect in order to contact the contributor
Submitted on : Saturday, September 11, 2021 - 6:38:44 AM
Last modification on : Monday, July 4, 2022 - 9:29:29 AM
Long-term archiving on: : Sunday, December 12, 2021 - 6:06:56 PM


Files produced by the author(s)


  • HAL Id : tel-03341556, version 1


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. ⟨tel-03341556⟩



Record views


Files downloads