Çigdem Gencer

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 17

Top Topics

Region Connection Calculus

Inference Rules

Decision Procedures

Top Venues

J. Appl. Non Class. Logics

Ann. Math. Artif. Intell.

Publications

Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
Local Intuitionistic Modal Logics and Their Calculi. CoRR (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR (2023)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL 31 (1) (2023)
Philippe Balbiani, Martín Diéguez, Çigdem Gencer
Advanced Languages of Terms for Ontologies. Description Logics (2022)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of $\mathbf {K}+\square \square \bot $. Ann. Math. Artif. Intell. 90 (5) (2022)
Philippe Balbiani, Çigdem Gencer
Advanced languages of terms for ontologies. JIAF (2022)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv
About the Unification Type of Fusions of Modal Logic. FLAP 8 (3) (2021)
Philippe Balbiani, Çigdem Gencer
About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$. Stud Logica 108 (5) (2020)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification types of the modal logics determined by classes of deterministic frames. CoRR (2020)
Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K+☐☐⊥. UNIF (2020)
Philippe Balbiani, Çigdem Gencer
About the unification type of simple symmetric modal logics. CoRR (2019)
Philippe Balbiani, Çigdem Gencer, Zafer Özdemir
Two decision problems in Contact Logics. Log. J. IGPL 27 (1) (2019)
Philippe Balbiani, Çigdem Gencer
KD is nullary. J. Appl. Non Class. Logics 27 (3-4) (2017)
Philippe Balbiani, Çigdem Gencer
Finitariness of Elementary Unification in Boolean Region Connection Calculus. FroCoS (2017)
Philippe Balbiani, Çigdem Gencer
Unification in epistemic logics. J. Appl. Non Class. Logics 27 (1-2) (2017)
Philippe Balbiani, Çigdem Gencer
Admissibility and Unifiability in Contact Logics. TbiLLC (2013)
Çigdem Gencer, Dick De Jongh
Unifiability in extensions of K4. Log. J. IGPL 17 (2) (2009)
Çigdem Gencer
Description of Modal Logics Inheriting Admissible Rules for K4. Log. J. IGPL 10 (4) (2002)
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
Unification and passive inference rules for modal logics. J. Appl. Non Class. Logics 10 (3-4) (2000)
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
On Self-Admissible Quasi-Characterizing Inference Rules. Stud Logica 65 (3) (2000)
Vladimir V. Rybakov, Çigdem Gencer, Tahsin Oner
Description of Modal Logics Inheriting Admissible Rules for S4. Log. J. IGPL 7 (5) (1999)
Çigdem Gencer, Mehmet Terziler
On a Question of Phillips. Math. Log. Q. 43 (1997)