Tableaux-based Decision Procedures for Contact Logics P Balbiani, Ç Gencer, Z Özdemir Proceedings of the International Conference on Mathematics and Mathematics …, 2016 | 1 | 2016 |
Tableaux approach for contact logics interpreted over intervals Z Özdemir Reports on Mathematical Logic, 3-13, 2023 | | 2023 |
Modal Mantık için Algoritmik Tekabül Z ÖZDEMİR Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi 5 (1), 401-416, 2022 | | 2022 |
Modal logics with a restricted universal modality P Balbiani, C Gencer, Z Özdemir 13th International Tbilisi Symposium on Language, Logic and Computation …, 2019 | | 2019 |
Two decision problems in Contact Logics P Balbiani, Ç Gencer, Z Özdemir Logic Journal of the IGPL 27 (1), 8-32, 2019 | | 2019 |
Tableaux approaches for region based theories of space Z Özdemir Fen Bilimleri Enstitüsü, 2016 | | 2016 |
REDUCTION ALGORITHMS FOR SECOND ORDER LOGIC Z ÖZDEMIR We are very pleased to introduce the abstracts of the 7th International IFS …, 0 | | |
Correspondence in the First and Second Order Semantics for Modal Logic Z Özdemir Book of Abstracts, 495, 0 | | |