Çigdem Gencer

29 papers B 1Journal 22Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Intuitionistic modal logics: tips and clips. Log. J. IGPL Philippe Balbiani, Çigdem Gencer
2025	J	`jnl`	Intuitionistic modal logic LIK4 is decidable. CoRR Philippe Balbiani, Çigdem Gencer, Tinko Tinchev
2025	J	`jnl`	Intuitionistic modal logics: a minimal setting. CoRR Philippe Balbiani, Çigdem Gencer
2025	J	`jnl`	Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK. CoRR Philippe Balbiani, Çigdem Gencer
2025	J	`jnl`	Undecidability of admissibility in the product of two Alt logics. Log. J. IGPL Philippe Balbiani, Çigdem Gencer
2024	B	`conf`	A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	—	`conf`	Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	J	`jnl`	Local Intuitionistic Modal Logics and Their Calculi. CoRR Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2023	J	`jnl`	A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2023	J	`jnl`	Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2022	J	`jnl`	About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2022	—	`conf`	Advanced Languages of Terms for Ontologies. Description Logics Philippe Balbiani, Martín Diéguez, Çigdem Gencer
2022	—	`conf`	Advanced languages of terms for ontologies. JIAF Philippe Balbiani, Çigdem Gencer
2021	J	`jnl`	About the Unification Type of Fusions of Modal Logic. FLAP Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv
2020	J	`jnl`	About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$. Stud Logica Philippe Balbiani, Çigdem Gencer
2020	—	`conf`	About the unification type of K+☐☐⊥. UNIF Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2020	J	`jnl`	About the unification types of the modal logics determined by classes of deterministic frames. CoRR Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
2019	J	`jnl`	About the unification type of simple symmetric modal logics. CoRR Philippe Balbiani, Çigdem Gencer
2019	J	`jnl`	Two decision problems in Contact Logics. Log. J. IGPL Philippe Balbiani, Çigdem Gencer, Zafer Özdemir
2017	—	`conf`	Finitariness of Elementary Unification in Boolean Region Connection Calculus. FroCoS Philippe Balbiani, Çigdem Gencer
2017	J	`jnl`	KD is nullary. J. Appl. Non Class. Logics Philippe Balbiani, Çigdem Gencer
2017	J	`jnl`	Unification in epistemic logics. J. Appl. Non Class. Logics Philippe Balbiani, Çigdem Gencer
2013	—	`conf`	Admissibility and Unifiability in Contact Logics. TbiLLC Philippe Balbiani, Çigdem Gencer
2009	J	`jnl`	Unifiability in extensions of K4. Log. J. IGPL Çigdem Gencer, Dick de Jongh
2002	J	`jnl`	Description of Modal Logics Inheriting Admissible Rules for K4. Log. J. IGPL Çigdem Gencer
2000	J	`jnl`	On Self-Admissible Quasi-Characterizing Inference Rules. Stud Logica Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
2000	J	`jnl`	Unification and passive inference rules for modal logics. J. Appl. Non Class. Logics Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
1999	J	`jnl`	Description of Modal Logics Inheriting Admissible Rules for S4. Log. J. IGPL Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner
1997	J	`jnl`	On a Question of Phillips. Math. Log. Q. Çigdem Gencer, Mehmet Terziler