Publications de Cigdem GENCER BALBIANI
Philippe Balbiani, Cigdem Gencer
Undecidability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩
Philippe Balbiani, Cigdem Gencer
Computability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, In press
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Remarks about the unification types of some locally tabular normal modal logics
Logic Journal of the IGPL, 2022, ⟨10.1093/jigpal/jzab033⟩
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K + Box Box false
Annals of Mathematics and Artificial Intelligence, 2021, 90, pp.481-497
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv
About the unification type of fusions of modal logics
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, In press
Philippe Balbiani, Cigdem Gencer
About the unification type of modal logics between KB and KTB
Studia Logica, 2019, 108, pp.941–966. ⟨10.1007/s11225-019-09883-0⟩
Philippe Balbiani, Cigdem Gencer, Zafer Özdemir
Two decision problems in Contact Logics
Logic Journal of the IGPL, 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩
Philippe Balbiani, Cigdem Gencer
Unification in epistemic logics
Journal of Applied Non-Classical Logics, 2017, 27 (1-2), pp.91-105. ⟨10.1080/11663081.2017.1368845⟩
Philippe Balbiani, Cigdem Gencer
KD is nullary
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.196-205. ⟨10.1080/11663081.2018.1428000⟩
Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1–21, ⟨10.4230/LIPIcs.CSL.2024.13⟩
Philippe Balbiani, Martín Diéguez, Cigdem Gencer
Advanced languages of terms for ontologies
35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K + [][]⊥
34th International Workshop on Unification (UNIF 2020), Jun 2020, Paris, France. pp.481-497, ⟨10.1007/s10472-021-09768-w⟩
Philippe Balbiani, Cigdem Gencer, Zafer Özdemir
Modal logics with a restricted universal modality
13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia
Philippe Balbiani, Cigdem Gencer, Mojtaba Mojtahedi, Maryam Rostamigiv, Tinko Tinchev
A gentle introduction to unification in modal logics
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Philippe Balbiani, Cigdem Gencer
Finitariness of elementary unification in Boolean Region Connection Calculus
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Sep 2017, Brasilia, Brazil. pp.281-297, ⟨10.1007/978-3-319-66167-4_16⟩
Philippe Balbiani, Cigdem Gencer
Contact Logic is finitary for unification with constants
International Workshop on Logic and Cognition (WOLC 2016), Dec 2016, Canton, China