Can Başkent's website
- This is the website of Can Başkent the logician ● Contact / İletişim 0
"Insensitive Games: Game Semantics for Modal Insensitivity", July 14, 2025. Workshop on Logic, Language, Information and Computation (WoLLIC 2025), Porto - Portugal. SLIDES EVENT
"Finding Your Voice in the Age of LLMs", June 19, 2025. Annual Learning and Teaching Conference, Middlesex University, London - England. SLIDES
"Playing Games with Diagrams: Truth Diagrams and Game Semantics", December 18, 2024. Informatics Institute, Middle East Technical University, Ankara - Turkey (remote talk). SLIDES
"Playing Games with Diagrams: Truth Diagrams and Game Semantics", September 27 - October 1, 2024. International Conference on the Theory and Application of Diagrams (DIAGRAMS 2024), Münster - Germany. SLIDES EVENT
(This paper received the Best Paper Award at the DIAGRAMS 2024 Conference.)
"A Logic of Isolation", June 10-13, 2024. Workshop on Logic, Language, Information and Computation (WoLLIC 2024), Bern - Switzerland. SLIDES EVENT
"Deviant Games for Deviant Logics", September 19, 2023. Research Seminar of "Theory and Logic Group", Department of Informatics, Vienna University of Technology (TU Wien), Vienna - Austria. SLIDES
"Modal Topologies: From Classical to Non-Classical", May 18, 2023. University of Pisa, Pisa - Italy. SLIDES
"Deviant Games for Deviant Logics", March 2, 2023. Research Seminar of "Programming Principles, Logic and Verification Group", Department of Computer Science, University College London, London - England. SLIDES
"Lakatos, Non-Classically", November 3, 2022. Lakatos Centenary Conference, London School of Economics and Political Science, London - England. SLIDES VIDEO EVENT
"Multi-valued and Modal Truth Diagrams", April 23, 2022. Logic-4-Peace Conference, Institute for Logic, Language and Computation, University of Amsterdam - the Netherlands (remote). SLIDES
"Logic in an Illogical World", October 25, 2021. Middlesex University, London - England. SLIDES
"Inconsistent Inquiries: Learning from and Working with Contradictions in Heuristics", October 24, 2020. American Mathematical Society Fall Western Sectional Meeting, Special Session on How to Solve It?: Heuristics and Inquiry Based Learning. SLIDES EVENT
"A Game Theoretical Semantics for Logics of Nonsense", September 21, 2020. Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020, online). SLIDES EVENT TEASER VIDEO
"A History Based Logic for Dynamic Preference Updates", February 7, 2020. Theory of Computing and AI Seminar, Department of Computer Science, Middlesex University, London - England. SLIDES EVENT
"Formal Ethics: Some Ideas", March 19, 2019. Workshop on Longtermism, Global Priorities Institute, University of Oxford, Oxford - England. SLIDES EVENT
"Paradoxes and Games", May 12, 2017. 'Proof Meets Truth' Workshop, University of Bath, Bath - England. SLIDES EVENT
"What can Games Learn from Paradoxes?", December 14-17, 2016. International Conference of The Indian Mathematics Consortium in cooperation with American Mathematical Society, Banaras Hindu University, Varanasi - India. SLIDES EVENT
"Paradoxes and Games", October 4, 2016. The Department of Computer Science, University of Oxford, Oxford - England. SLIDES
"A Yabloesque Paradox in Epistemic Game Theory", July 20/22, 2016. Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016), Maastricht - the Netherlands. SLIDES EVENT
"Preferences and Equilibria in History Based Models", July 20/22, 2016. Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016), Maastricht - the Netherlands. SLIDES EVENT
"Paraconsistent Dynamic Epistemic Logic", June 15, 2016. Theoretical Computer Science at Queen Mary University of London, London - England. SLIDES
"Paraconsistent Dynamic Epistemic Logic", April 14, 2016. Department of Computer Science, University of São Paulo, São Paulo - Brazil. SLIDES
"Paraconsistent Dynamic Epistemic Logic", April 11, 2016. School of Technology, University of Campinas, Limeira - Brazil. SLIDES
"Paraconsistency, Social Software and Games", April 13, 2016. Colloquim Logicae, CLE - University of Campinas, Campinas - Brazil. SLIDES
"Towards Paraconsistent Game Theory", March 29, 2016. Graduate Center of the City University of New York, New York City - USA. SLIDES
"Open Questions in Non-Classical Logic, Mathematics and Philosophy", January 26/29, 2016. Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland - New Zealand. SLIDES EVENT
"Game Theoretical Semantics for Some Paraconsistent Logics", January 26/29, 2016. Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland - New Zealand. SLIDES EVENT
"Game Theoretical Semantics for Paraconsistent Logics", November 19, 2015. Midlands Logic Seminar, Birmingham - England. SLIDES EVENT
"Game Theoretical Semantics for Paraconsistent Logics", October 29, 2015. 5th International Conference on Logic, Rationality and Interaction (LORI-V), Taipei - Taiwan. SLIDES EVENT
"Epistemic Game Theoretical Reasoning in History Based Models", September 21/22, 2015. 3rd International Workshop on Strategic Reasoning, Oxford - England. SLIDES EVENT
"A Paraconsistent Logic for Contrary-to-Duty Obligations", August 3/8, 2015. 15th Congress on Logic, Methodology, and Philosophy of Science, Helsinki - Finland. SLIDES EVENT
"Non-Classical Approaches to the Brandenburger-Keisler Paradox", July 20/25, 2015. 27th Stony Brook International Conference on Game Theory, Stony Brook - USA. SLIDES EVENT
"Paraconsistent Dynamic Epistemology", June 29, 2015. 5th World Congress on Universal Logic, Istanbul - Turkey. SLIDES EVENT
"Towards Paraconsistent Games via Topologies", June 11, 2015. Prague seminar on Non-Classical Mathematics, Prague - Czech Republic. SLIDES EVENT
"Game Semantics and Paraconsistency", April 12, 2015. Games for Logic and Programming Languages X (GALOP 2015), London - England. SLIDES EVENT
"Public Announcements, Topology and Paraconsistency", July 27/30, 2014. Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2014), Bergen - Norway. SLIDES EVENT
"Game Semantics for Non-Classical Logics", July 15, 2014. Workshop on Logic and Games as part of Vienna Summer of Logic, Vienna - Austria. SLIDES EVENT
"Game Semantics: A Paraconsistent Approach", March 13, 2014. L'Institut d'histoire et de philosophie des sciences et des techniques (IHPST), Paris - France. SLIDES
"Game Semantics: A Paraconsistent Approach", February 27, 2014. The Institute of Mathematical Sciences, Chennai - India. SLIDES
"Game Semantics: A Paraconsistent Approach", February 13/17, 2014. 5th World Congress of Paraconsistency, Kolkata - India. SLIDES EVENT
"Game Theoretical Semantics for a Non-Classical Logic", October 16, 2013. INRIA, Nancy - France. SLIDES
"What is Game Theoretical Negation?", September 18/21, 2013. Highlights of Logic, Games and Automata, Université Paris Diderot, Paris - France. SLIDES EVENT
"What is Game Theoretical Negation?", September 16/18, 2013. Conference on Logic and Philosophy of Science, University of Ghent, Ghent - Belgium. SLIDES EVENT
"What is Game Theoretical Negation?", June 17/19, 2013. Decisions, Games & Logic Conference, Royal Institute of Technology (KTH), Stockholm - Sweden. SLIDES EVENT
"What is Game Theoretical Negation?", April 17/19, 2013. Inqusitive Semantics meets Inferential Erotetic Logic Workshop, Adam Mickiewicz University, Poznan - Poland. SLIDES EVENT
"Dialetheism and a Game Theoretical Paradox", December 6/8, 2012. 25 Years In Contradiction, University of Glasgow, Glasgow - Scotland. SLIDES EVENT
"Some Logical Approaches to Lakatos's Proofs and Refutations", SLIDES September 11, 2012. The Graduate Center of the City University of New York, New York City - USA.
"Some Non-Classical Methods in Epistemic Logic and Games", April 16, 2012. Dissertation Defense, The Graduate Center of the City University of New York, New York City - USA. SLIDES
"A Survey of Topologic", December 1, 2011. The Graduate Center of the City University of New York, New York City - USA. SLIDES
"Homotopies in Classical and Paraconsistent Modal Logics", July 22, 2011. 14. Congress of Logic, Methodology and Philosophy of Science, Nancy - France. SLIDES EVENT
"Some Non-Classical Approaches to Epistemic Logic and Games", June 21, 2011. The Graduate Center of the City University of New York, New York City - USA. SLIDES
"Some Non-Classical Approaches to the Brandenburger - Keisler Paradox", April 8, 2011. The Graduate Center of the City University of New York, New York City - USA. SLIDES
"Epistemic Investigations on Nabla Modality", March 15, 2011. The Graduate Center of the City University of New York, New York City - USA. SLIDES
"Paraconsistency, Topological Semantics, Homotopies and Games", November 23, 2010. The Graduate Center of the City University of New York, New York City - USA. SLIDES
"Paraconsistency and Topological Semantics", September 17, 2010. Non-Classical Logic: Theory and Applications Conference, Toruń - Poland. SLIDES EVENT
"Epistemic Norms", July 5, 2010. 10th Augustus DeMorgan Workshop on Deontic Logic, Florence - Italy. SLIDES EVENT
"Epistemic Investigations on Nabla Modality", June 17, 2010. Groningen Logic Colloquium (GROLOG), Groningen - the Netherlands. SLIDES EVENT
"Epistemic Investigations on Nabla Modality", May 8, 2010. New York Graduate Student Logic Conference, New York City - USA. SLIDES
"Completeness of Public Announcement Logic in Topological Spaces", March 18, 2010. Association for Symbolic Logic, 2010 Annual North America Meeting, Washington, D.C. - USA. SLIDES EVENT
"Meditations on Subset Space Logic", October 6, 2009. The Graduate Center of the City University of New York, New York City - USA. SLIDES
"An Epistemic - Geometric Extension of Game Logic", September 16, 2009. GAMES 2009: Annual Workshop on Games for Design and Verification, Udine - Italy. SLIDES EVENT
"Towards Multi-agent Subset Space Logic", Jul 31 / August 5, 2009. Association for Symbolic Logic, European Logic Colloquium, Sofia - Bulgaria. SLIDES EVENT
"A Geo-Epistemic Approach to Lakatosian Heuristics", July 19, 2009. Panhellenic Logic Colloquium, Patras - Greece. SLIDES EVENT
"A Formal Epistemological Approach to Meno", January 13, 2009. Department of Philosophy, Middle East Technical University, Ankara - Turkey. SLIDES
"Geometry of Knowledge: An Exposition, Meditations and Reflections", January 2008. Istanbul University, Istanbul Kultur University, the Middle East Technical University and Bilkent University, Istanbul/Ankara - Turkey. SLIDES
"Topics in Subset Space Logic", July 25, 2007. Thesis defence. Institute for Logic, Language and Computation of the Universiteit van Amsterdam, Amsterdam - the Netherlands. SLIDES