Can Başkent's website
- This is the website of Can Başkent the logician ● Contact / İletişim 0
"A Privacy-Preserving Framework Enhancing University Student Engagement Using Machine Learning and Gamification", (with Kelly Androutsopoulos, Florian Kammüller, Giacomo Nalli, Luca Piras and Halil Yetgin), HCI International 2025 – Late Breaking Papers, LNCS 16344, Editors: B. K. Smith, M. Borge, R. A. Sottilare, J. Schwarz, pp. 323–338, Springer. PDF PUB
"Logics of Spatial Isolation", (with David Gilbert and Giorgio Venturi), Journal of Logic and Computation, vol. 35, no. 7, pp. 1-19. PDF PUB
"Proofs and Refutations, Non-Classically and Game Theoretically", Proofs and Research Programmes: Lakatos at 100, Editors: R. Frigg, J. McKenzie Alexander, L. Hudetz, M. Rédei, L. Ross and J. Worrall, Synthese Library 498, pp 69–89, Springer. PDF PUB
"Insensitive Games: Game Semantics for Modal Insensitivity", (with David Gilbert and Giorgio Venturi), Proceedings of 31st Workshop on Logic, Language, Information and Computation (WoLLIC 2025), Edited by D. Kozen, R. de Queiroz, LNCS 15942, pp 228–242, Springer. PDF PUB
"FACTors: A New Dataset for Studying the Fact-checking Ecosystem", (with Enes Altuncu, Sanjay Bhattacherjee, Shujun Li and Dwaipayan Roy) Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2025), pp. 3530-3539, ACM Digital Library. PDF PUB
"Cloistered Knowledge Capture and Retrieval: Offline LLMs and Vector Search for Enterprise", (with Stephen J. Hall, Serengül Smith and Clifford de Raffaele), Proceedings of the IEEE 5th International Conference on Smart Information Systems and Technologies (SIST 2025), IEEE XPlore Library, pp. 1-6. PDF PUB
"A Taxonomy of Knowledge Management Systems in the Micro-Enterprise" (with Stephen J. Hall, Serengül Smith and Clifford de Raffaele), International Journal of Operations Management, vol. 4, No: 1, pp. 7-20. PDF PUB PUB
"Playing Games with Diagrams: Truth Diagrams and Game Semantics", 14th International Conference on the Theory and Application of Diagrams (DIAGRAMS 2024), Edited by J. Lemanski et al, LNAI 14981, pp. 300-315, Springer. PDF PUB
(This paper received the Best Paper Award at the DIAGRAMS 2024 Conference.)
"Truth Diagrams for Some Non-Classical and Modal Logics", Journal of Applied Non-Classical Logics, vol. 34, no. 4, pp. 527-560. PDF PUB
"A Logic of Isolation" (with David Gilbert and Giorgio Venturi), Proceedings of 30th Workshop on Logic, Language, Information and Computation (WoLLIC 2024), Edited by G. Metcalfe, T. Studer and R. de Queiroz, LNCS 14672, pp. 36-46, Springer. PDF PUB
"Paving the Path: Empowering Women in STEM from University to Industry" (with Syderita Vaka, Ramona Trestian, Homeira Shayesteh and Alison Megeney), 2024 IEEE Global Engineering Education Conference (EDUCON 2024). PDF PUB
"Knowledge Management for the Micro Enterprise: A Taxonomy" (with Stephen J. Hall, Serengül Smith and Clifford de Raffaele), European Conference on Knowledge Management (ECKM 2023), Edited by F. Matos and Á. Rosa, vol. 24, No: 1, pp. 491-498. PDF PUB PUB
"A Game Theoretical Semantics for a Logic of Formal Inconsistency" (with Pedro Henrique Carrasqueira), Logic Journal of the IGPL, vol. 28, no. 5, pp. 936-52. PDF PUB
"A Game Theoretical Semantics for Logics of Nonsense", Proceedings of the Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020), Edited by J.-F. Raskin and D. Bresolin, Electronic Proceedings in Theoretical Computer Science vol. 326, pp. 66–81. PDF PUB PUB teaser video
"A History Based Logic for Dynamic Preference Updates" (with Guy McCusker), Journal of Logic, Language and Information, vol. 29, no. 3, pp. 275-305. PDF PUB
"Introduction to 'Graham Priest on Dialetheism and Paraconsistency'", (with T. M. Ferguson), in "Graham Priest on Dialetheism and Paraconsistency", pp. 1-2, Springer. PDF PUB
"Graham Priest on Dialetheism and Paraconsistency", Edited by C. Başkent and T. M. Ferguson, Outstanding Contributions to Logic Series (vol. 18), Springer. PUB
"A Non-Classical Logical Approach to Social Software", in Rohit Parikh on Logic, Language and Society, Edited by C. Başkent, L. Moss and R. Ramanujam, pp. 91-109, Springer. PDF PUB
"Preface for 'Rohit Parikh on Logic, Language and Society' " (with L. Moss and R. Ramanujam), in Rohit Parikh on Logic, Language and Society, Edited by C. Başkent, L. Moss, R. Ramanujam, pp. vii-xii, Springer. PDF PUB
"Rohit Parikh on Logic, Language and Society", Edited by C. Başkent, L. Moss, R. Ramanujam, Outstanding Contributions to Logic Series (vol. 11), Springer. PUB
"Game Theoretical Semantics for Some Non-Classical Logics", Journal of Applied Non-Classical Logics, vol. 26, no. 3, pp. 208-39. PDF PUB
(Amongst the top 25 most-read articles of the Journal.)
"Public Announcements and Inconsistencies: For a Paraconsistent Topological Model", in Epistemology, Knowledge and the Impact of Interaction, Edited by J. Redmond, O. P. Martins and A. N. Fernandez, pp. 251-268, Springer. PDF PUB
"Towards Paraconsistent Inquiry", The Australasian Journal of Logic, vol. 13, no. 2, pp. 21-40. PDF PUB
"Topological Semantics for da Costa Paraconsistent Logics C_\omega and C^{*}_\omega", in New Directions in Paraconsistent Logic, Edited by J.-Y. Beziau, M. Chakraborty and S. Dutta, pp. 427-444, Springer. PDF PUB
"Perspectives on Interrogative Models of Inquiry", Edited by C. Başkent, Logic, Argumentation & Reasoning Series (vol. 8), Springer. PUB
"Game Theoretical Semantics for Paraconsistent Logics", in Preceedings of the Fifth International Conference on Logic, Rationality and Interaction (LORI-V), Edited by W. van der Hoek and W. Holliday and W. Wang, pp. 14-26, Springer. PDF PUB
"Epistemic Game Theoretical Reasoning in History Based Models" (with Guy McCusker), in Informal Preceedings of Strategic Reasoning Workshop (SR-2015), Edited by J. Gutierrez and F. Mogavero and A. Murano and Michael Wooldridge. PDF
"Some Non-Classical Approaches to Branderburger-Keisler Paradox", Logic Journal of the IGPL, vol. 23, no. 4, pp. 533-552. PDF addendum PUB
"Inquiry, Refutations and the Inconsistent", in Perspectives on Interrogative Models of Inquiry - Developments in Inquiry and Questions, Edited by C. Başkent, pp. 57-71, Springer. PDF PUB
"Preface for 'Perspectives on Interrogative Models of Inquiry' ", in Perspectives on Interrogative Models of Inquiry - Developments in Inquiry and Questions, Edited by C. Başkent, Springer. PDF PUB
"Public Announcements, Topology and Paraconsistency", in Informal Proceedings of LOFT Conference 2014. PDF
"Some Observations on Nabla Modality", unpublished manuscript. PDF
"Some Topological Properties of Paraconsistent Models", Synthese, vol. 190, no. 18, pp. 4023-4040. PDF PUB
"Homotopies in Classical and Paraconsistent Logics", unpublished manuscript. PDF
"Some Non-Classical Methods in Epistemic Logic and Games", The Graduate Center, The City University of New York, PhD Dissertation. PDF
"On Knowledge and Obligation" (with Loes Olde Loohuis and Rohit Parikh), Episteme, vol. 9, no. 2, pp. 171-188. PDF PUB
"A Formal Approach to Lakatosian Heuristics", Logique et Analyse, vol. 55, no. 217, pp. 23-46. PDF PUB
"Public Announcement Logic in Geometric Frameworks", Fundamenta Informaticae, vol. 118, no. 3, pp. 207-223. PDF PUB
"A Logic for Strategy Updates", In Preceedings of the 3. Workshop on Logic and Rationality (LNCS 6953), Edited by H. van Ditmarsch, J. Lang, Sh. Ju, pp. 382-3, Springer. PDF full paper PUB
"Geometric Public Announcement Logics", in Preceedings of the 24th Florida Artificial Intelligence Research Society Conference (FLAIRS-24), Edited by, pp. 87-88, AAAI Press. PDF PUB
"Completeness of Public Announcement Logic in Topological Spaces" (abstract), Bulletin of Symbolic Logic, vol. 17, No. 1, p. 142. PDF PUB
"Vicdani Reddin Politikasına ve Pratiğine Dair Formel Bir Değini" (in Turkish: "A Critical Treatise of the Politics and Practice of Conscientious Objection"), Felsefelogos, Sayı 39, s. 99-112, Eylül 2010. text PUB
"Towards Multi-agent Subset Space Logic" (abstract, with Rohit Parikh), Bulletin of Symbolic Logic, vol. 16, No. 1, p. 108. PDF PUB
"A Geometrical - Epistemic Approach to Lakatosian Heuristics", in Preceedings of the Seventh Panhellenic Logic Colloquium, pp. 8-14, Patras University Press. PDF PUB
"An Examination of Counterexamples in "Proof and Refutations" " (with Samet Bagce), Philosophia Scientiae, vol. 13, No.2, pp. 3-20. PDF PUB