Çiğdem Gencer

Available identifiers

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	2023-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5039110	2022-10-12	Paper
About the unification type of \(\mathbf{K}+\square \square \bot\)	2022-05-04	Paper
About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)	2021-05-11	Paper
Contact Logic is Finitary for Unification with Constants	2020-07-14	Paper
Two decision problems in Contact Logics	2019-11-04	Paper
Unification in epistemic logics	2018-09-12	Paper
KD is nullary	2018-09-12	Paper
Finitariness of elementary unification in Boolean region connection calculus	2018-01-04	Paper
Admissibility and Unifiability in Contact Logics	2015-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q3102375	2011-12-03	Paper
Unifiability in extensions of K4	2009-05-05	Paper
Unification and Passive Inference Rules for Modal Logics	2004-01-11	Paper
Description of Modal Logics Inheriting Admissible Rules for K4	2002-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4526732	2001-12-03	Paper
On self-admissible quasi-characterizing inference rules	2000-12-19	Paper
Description of modal logics inheriting admissible rules for S4	2000-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q4489067	2000-07-09	Paper
On a Question of Phillips	1997-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q5687886	1997-06-15	Paper

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