Çigdem Gencer

Orcid: 0000-0002-2003-9012

Affiliations:

Toulouse University, Institute of Computer Science Research, France
Istanbul Aydın University, Faculty of Arts and Sciences, Istanbul, Turkey
Sabancı University, Faculty of Engineering and Natural Sciences, Istanbul, Turkey
Istanbul Kültür University, Department of Mathematics and Computer Science, Istanbul, Turkey

According to our database¹, Çigdem Gencer authored at least 22 papers between 1997 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Local Intuitionistic Modal Logics and Their Calculi.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus.

[BibT_eX]

[DOI]

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

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

[BibT_eX]

[DOI]

Log. J. IGPL, January, 2023

2022

About the unification type of $\mathbf {K}+\square \square \bot $.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2022

Advanced languages of terms for ontologies.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

Advanced Languages of Terms for Ontologies.

[BibT_eX]

[DOI]

Philippe Balbiani

Martín Diéguez

Çigdem Gencer

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

About the Unification Type of Fusions of Modal Logic.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

Maryam Rostamigiv

FLAP, 2021

2020

About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

Stud Logica, 2020

About the unification types of the modal logics determined by classes of deterministic frames.

[BibT_eX]

[DOI]

CoRR, 2020

About the unification type of K+☐☐⊥.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Unification, 2020

2019

Two decision problems in Contact Logics.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

Zafer Özdemir

Log. J. IGPL, 2019

About the unification type of simple symmetric modal logics.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

CoRR, 2019

2017

KD is nullary.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

J. Appl. Non Class. Logics, 2017

Unification in epistemic logics.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

J. Appl. Non Class. Logics, 2017

Finitariness of Elementary Unification in Boolean Region Connection Calculus.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2013

Admissibility and Unifiability in Contact Logics.

[BibT_eX]

[DOI]

Philippe Balbiani

Çigdem Gencer

Proceedings of the Logic, Language, and Computation, 2013

2009

Unifiability in extensions of K4.

[BibT_eX]

[DOI]

Çigdem Gencer

Dick De Jongh

Log. J. IGPL, 2009

2002

Description of Modal Logics Inheriting Admissible Rules for K4.

[BibT_eX]

[DOI]

Çigdem Gencer

Log. J. IGPL, 2002

2000

On Self-Admissible Quasi-Characterizing Inference Rules.

[BibT_eX]

[DOI]

Vladimir V. Rybakov

Mehmet Terziler

Çigdem Gencer

Stud Logica, 2000

Unification and passive inference rules for modal logics.

[BibT_eX]

[DOI]

Vladimir V. Rybakov

Mehmet Terziler

Çigdem Gencer

J. Appl. Non Class. Logics, 2000

1999

Description of Modal Logics Inheriting Admissible Rules for S4.

[BibT_eX]

[DOI]

Vladimir V. Rybakov

Çigdem Gencer

Tahsin Oner

Log. J. IGPL, 1999

1997

On a Question of Phillips.

[BibT_eX]

[DOI]

Çigdem Gencer

Mehmet Terziler

Math. Log. Q., 1997

Çigdem Gencer

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...