Skip to Main content Skip to Navigation
Theses

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

https://tel.archives-ouvertes.fr/tel-03341556
Contributor : Maryam Rostamigiv Connect in order to contact the contributor
Submitted on : Saturday, September 11, 2021 - 6:38:44 AM
Last modification on : Tuesday, October 19, 2021 - 2:23:38 PM

File

example.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03341556, version 1

Citation

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⟩

Share

Metrics

Record views

19

Files downloads

15