Zafer Ozdemir

Nişantaşı University - İstanbul / Türkiye

Natural Sciences / Mathematical Sciences

AD Scientific Index ID: 5073350

Nişantaşı Üniversitesi

Registration, Add Profile,
Premium Membership

Print Your Certificate

Zafer Ozdemir's MOST POPULAR ARTICLES

1-) Tableaux-based Decision Procedures for Contact LogicsP Balbiani, Ç Gencer, Z ÖzdemirProceedings of the International Conference on Mathematics and Mathematics …, 201612016

2-) Tableaux approach for contact logics interpreted over intervalsZ ÖzdemirReports on Mathematical Logic 2023 (58), 3-13, 20232023

3-) Modal Mantık için Algoritmik TekabülZ ÖZDEMİROsmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi 5 (1), 401-416, 20222022

4-) Modal logics with a restricted universal modalityP Balbiani, C Gencer, Z Özdemir13th International Tbilisi Symposium on Language, Logic and Computation …, 20192019

5-) Two decision problems in Contact LogicsP Balbiani, Ç Gencer, Z ÖzdemirLogic Journal of the IGPL 27 (1), 8-32, 20192019

ARTICLES

Add your articles