Çiğdem Gencer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
About the unification types of modal logics	2024-10-01	Paper
Remarks about the unification types of some locally tabular normal modal logics Logic Journal of the IGPL	2023-02-16	Paper
scientific article; zbMATH DE number 7599937 (Why is no real title available?)	2022-10-12	Paper
About the unification type of \(\mathbf{K}+\square \square \bot\) Annals of Mathematics and Artificial Intelligence	2022-05-04	Paper
About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) Studia Logica	2021-05-11	Paper
Contact logic is finitary for unification with constants Logic in Asia: Studia Logica Library	2020-07-14	Paper
Two decision problems in Contact Logics Logic Journal of the IGPL	2019-11-04	Paper
Unification in epistemic logics Journal of Applied Non-Classical Logics	2018-09-12	Paper
KD is nullary Journal of Applied Non-Classical Logics	2018-09-12	Paper
Finitariness of elementary unification in Boolean region connection calculus	2018-01-04	Paper
Admissibility and Unifiability in Contact Logics Logic, Language, and Computation	2015-12-03	Paper
scientific article; zbMATH DE number 5985674 (Why is no real title available?)	2011-12-03	Paper
Unifiability in extensions of K4 Logic Journal of the IGPL	2009-05-05	Paper
Unification and Passive Inference Rules for Modal Logics Journal of Applied Non-Classical Logics	2004-01-11	Paper
Description of Modal Logics Inheriting Admissible Rules for K4 Logic Journal of the IGPL	2002-12-10	Paper
scientific article; zbMATH DE number 1556959 (Why is no real title available?)	2001-12-03	Paper
On self-admissible quasi-characterizing inference rules Studia Logica	2000-12-19	Paper
Description of modal logics inheriting admissible rules for S4 Logic Journal of the IGPL	2000-08-15	Paper
scientific article; zbMATH DE number 1471983 (Why is no real title available?)	2000-07-09	Paper
On a Question of Phillips Mathematical Logic Quarterly	1997-09-02	Paper
scientific article; zbMATH DE number 958654 (Why is no real title available?)	1997-06-15	Paper

Research outcomes over time

This page was built for person: Çiğdem Gencer