Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

6 Results
authFullName_s : Maryam Rostamigiv
Image document

About the type of modal logics for the unification problem

Maryam Rostamigiv
Logic in Computer Science [cs.LO]. Université Toulouse III - Paul Sabatier, 2020. English. ⟨NNT : ⟩
Theses tel-03341556v1
Image document

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

Philippe Balbiani , Cigdem Gencer , Maryam Rostamigiv , Tinko Tinchev
34th International Workshop on Unification (UNIF 2020), Jun 2020, Paris, France. pp.481-497, ⟨10.1007/s10472-021-09768-w⟩
Conference papers hal-02936473v1
Image document

About the unification type of fusions of modal logics

Philippe Balbiani , Cigdem Gencer , Maryam Rostamigiv
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, In press
Journal articles hal-02936464v1
Image document

A gentle introduction to unification in modal logics

Philippe Balbiani , Cigdem Gencer , Mojtaba Mojtahedi , Maryam Rostamigiv , Tinko Tinchev
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Conference papers hal-02301934v1
Image document

About the unification type of K + Box Box false

Philippe Balbiani , Cigdem Gencer , Maryam Rostamigiv , Tinko Tinchev
Annals of Mathematics and Artificial Intelligence, 2021, 90, pp.481-497
Journal articles hal-03762105v1
Image document

Remarks about the unification types of some locally tabular normal modal logics

Philippe Balbiani , Çiğdem Gencer , Maryam Rostamigiv , Tinko Tinchev
Logic Journal of the IGPL, 2022, ⟨10.1093/jigpal/jzab033⟩
Journal articles hal-03762700v1