On a Question of Phillips. - Çigdem Gencer; Mehmet Terziler (Math. Log. Q., 1997)

Description of Modal Logics Inheriting Admissible Rules for S4. - Vladimir V. Rybakov; Çigdem Gencer; Tahsin Oner (Log. J. IGPL, 1999)

Unification and passive inference rules for modal logics. - Vladimir V. Rybakov; Mehmet Terziler; Çigdem Gencer (J. Appl. Non Class. Logics, 2000)

On Self-Admissible Quasi-Characterizing Inference Rules. - Vladimir V. Rybakov; Mehmet Terziler; Çigdem Gencer (Stud Logica, 2000)

Description of Modal Logics Inheriting Admissible Rules for K4. - Çigdem Gencer (Log. J. IGPL, 2002)

Unifiability in extensions of K4. - Çigdem Gencer; Dick De Jongh (Log. J. IGPL, 2009)

Admissibility and Unifiability in Contact Logics. - Philippe Balbiani; Çigdem Gencer (TbiLLC, 2013)

Finitariness of Elementary Unification in Boolean Region Connection Calculus. - Philippe Balbiani; Çigdem Gencer (FroCoS, 2017)

Unification in epistemic logics. - Philippe Balbiani; Çigdem Gencer (J. Appl. Non Class. Logics, 2017)

KD is nullary. - Philippe Balbiani; Çigdem Gencer (J. Appl. Non Class. Logics, 2017)

About the unification type of simple symmetric modal logics. - Philippe Balbiani; Çigdem Gencer (CoRR, 2019)

Two decision problems in Contact Logics. - Philippe Balbiani; Çigdem Gencer; Zafer Özdemir (Log. J. IGPL, 2019)

About the unification type of K+☐☐⊥. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (UNIF, 2020)

About the unification types of the modal logics determined by classes of deterministic frames. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (CoRR, 2020)

About the Unification Type of Modal Logics Between $ mathbf {KB}$ and $ mathbf {KTB}$. - Philippe Balbiani; Çigdem Gencer (Stud Logica, 2020)

About the Unification Type of Fusions of Modal Logic. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv (FLAP, 2021)

Advanced Languages of Terms for Ontologies. - Philippe Balbiani; Martín Diéguez; Çigdem Gencer (Description Logics, 2022)

Advanced languages of terms for ontologies. - Philippe Balbiani; Çigdem Gencer (JIAF, 2022)

About the unification type of $ mathbf {K}+ square square bot $. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (Ann. Math. Artif. Intell., 2022)

Remarks about the unification types of some locally tabular normal modal logics. - Philippe Balbiani; Çigdem Gencer; Maryam Rostamigiv; Tinko Tinchev (Log. J. IGPL, 2023)

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. - Philippe Balbiani; Han Gao; Çigdem Gencer; Nicola Olivetti (CSL, 2024)

Local Intuitionistic Modal Logics and Their Calculi. - Philippe Balbiani; Han Gao; Çigdem Gencer; Nicola Olivetti (IJCAR (2), 2024)

Undecidability of admissibility in the product of two Alt logics. - Philippe Balbiani; Çigdem Gencer (Log. J. IGPL, 2025)

Intuitionistic modal logics: a minimal setting. - Philippe Balbiani; Çigdem Gencer (CoRR, 2025)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK. - Philippe Balbiani; Çigdem Gencer (CoRR, 2025)