tumblr counter
Publications | Can Başkent

Can Başkent

logic and the rest...

Working / Submitted Papers

"Preferences and Equilibria in History Based Models"

"A Game Theoretical Semantics for LFI"

"A Curryesque Paradox in Epistemic Game Theory"

Publications

2017


"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, Springer, forthcoming.  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, Springer, forthcoming.  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

2016


"A Yabloesque Paradox in Epistemic Game Theory", Synthese, open access.  pdf  pub

"Game Theoretical Semantics for Some Non-Classical Logics", Journal of Applied Non-Classical Logics, vol. 26, no. 3, pp. 208-39.  pdf  pub

"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

2015


"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  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

2014


"Public Announcements, Topology and Paraconsistency", in Informal Proceedings of LOFT Conference 2014.  pdf

"Some Observations on Nabla Modality", unpublished manuscript.  pdf

2013


"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

2012


"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

2011


"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

2010


"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

2009


"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

2007


"Topics in Subset Space Logic", Institute for Logic, Language and Computation, Universiteit van Amsterdam, Master Thesis Series.  pdf  pub