About the unification types of the modal logics determined by classes of deterministic frames

Autor: Balbiani, Philippe, Gencer, Çiğdem, Rostamigiv, Maryam, Tinchev, Tinko

The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. When a unifiable formula has minimal complete sets of unifi

Externí odkaz: http://arxiv.org/abs/2004.07904

About the type of modal logics for the unification problem

Autor: Rostamigiv, Maryam

Publikováno v: Logic in Computer Science [cs.LO]. Université Toulouse III-Paul Sabatier, 2020. English

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 tha

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e73603412d73ae1aa26ac20d5c54a93b
https://theses.hal.science/tel-03341556

About the unification type of fusions of modal logics

Autor: Balbiani, Philippe, Gencer, Cigdem, Rostamigiv, Maryam

Publikováno v: Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications, College Publications, In press

International audience; In a modal logic L, a unifier of a formula ϕ is a substitution σ such that σ(ϕ) is in L. When unifiable formulas have no minimal complete sets of unifiers, they are nullary. Otherwise, they are either infinitary, or finita

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::35b579c754a05650ac1529f99a92caa6
https://hal.science/hal-02936464

About the unification type of K + [][]⊥

Autor: Balbiani, Philippe, Gencer, Cigdem, Rostamigiv, Maryam, Tinchev, Tinko

Publikováno v: UNIF
UNIF, Jun 2020, Paris, France

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5e87d0fe3626089df9757deaa8637435
https://hal.archives-ouvertes.fr/hal-02936473/file/UNIF_2020_paper_1.pdf

A gentle introduction to unification in modal logics

Autor: Balbiani, Philippe, Gencer, Cigdem, Mojtahedi, Mojtaba, Rostamigiv, Maryam, Tinchev, Tinko

Publikováno v: Actes des JIAF2019 : Journées de l’Intelligence Artificielle Fondamentale @ PFIA 2019
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019)
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France

International audience; Unification in propositional logics is an active research area. In this paper, we introduce the results we have obtained within the context of modal logics and epistemic logics and we present some of the open problems whose so

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8789be7302d2e5068112a5dd54ecc53e
https://hal.archives-ouvertes.fr/hal-02301934/document