Dr Can Baskent


NameDr Can Baskent
Job titleSenior Lecturer in Computer Science
Research institute
Primary appointmentComputer Science
Email addressc.baskent@mdx.ac.uk
ORCIDhttps://orcid.org/0000-0001-6229-8699
Contact categoryAcademic staff

Biography

Biography

Can Baskent is a Senior Lecturer (equivalentish to Assoc Prof in the US system) in computer science at Middlesex University, London.

Before joining in Middlesex University, Dr Baskent worked as a postdoctoral researcher at IHPST (Paris 1, ENS, CNRS) and INRIA (Nancy) in France; and at the University of Bath and Oxford Brookes University in England. He obtained his masters degree from the University of Amsterdam, his PhD from the City University of New York.

His website contains all his publications, presentations and up-to-date CV: canbaskent.net/logic/

Teaching

I teach first year Synoptics. I am also the module leader of the final year project module.

I supervise undergraduate and postgraduate students as well.

Education and qualifications

Grants

Prizes and Awards

Research outputs

Playing games with diagrams: truth diagrams and game semantics

Baskent, C. 2024. Playing games with diagrams: truth diagrams and game semantics. Lemanski, J., Johansen, M.W., Manalo, E., Viana, P., Bhattacharjee, R. and Burns, R. (ed.) 14th International Conference on Theory and Application of Diagrams. Münster, Germany 27 Sep - 01 Oct 2024 Cham Springer. pp. 300-315 https://doi.org/10.1007/978-3-031-71291-3_24

A taxonomy of knowledge management systems in the micro-enterprise

Hall, S.J., Smith, S., Baskent, C. and De Raffaele, C. 2024. A taxonomy of knowledge management systems in the micro-enterprise. International Journal of Operations Management. 4 (1), pp. 7-20. https://doi.org/10.18775/ijom.2757-0509.2020.41.4001

Truth diagrams for some non-classical and modal logics

Baskent, C. 2024. Truth diagrams for some non-classical and modal logics. Journal of Applied Non-Classical Logics. https://doi.org/10.1080/11663081.2024.2366752

A logic of isolation

Baskent, C., Gilbert, D. and Venturi, G. 2024. A logic of isolation. Metcalfe, G., Studer, T. and de Queiroz, R. (ed.) 30th International Workshop on Logic, Language, Information, and Computation. Bern, Switzerland 10 - 13 Jun 2024 Cham Springer. pp. 36-46 https://doi.org/10.1007/978-3-031-62687-6_3

Paving the path: empowering women in STEM from university to industry

Vaka, S., Trestian, R., Baskent, C., Shayesteh, H. and Megeney, A. 2024. Paving the path: empowering women in STEM from university to industry. 2024 IEEE Global Engineering Education Conference. Kos, Greece 08 - 11 May 2024 IEEE.

Knowledge management for the micro enterprise: a taxonomy

Hall, S., Smith, S., Baskent, C. and De Raffaele, C. 2023. Knowledge management for the micro enterprise: a taxonomy. Matos, F. and Rosa, A. (ed.) 24th European Conference on Knowledge Management. Lisboa, Portugal 07 - 08 Sep 2023 Academic Conferences International. https://doi.org/10.34190/eckm.24.1.1268

A game theoretical semantics for logics of nonsense

Baskent, C. 2020. A game theoretical semantics for logics of nonsense. Raskin, J. and Bresolin, D. (ed.) GandALF 2020. Brussels, Belgium [Online event] 21 - 22 Sep 2020 Open Publishing Association. pp. 66-81 https://doi.org/10.4204/EPTCS.326.5

Graham Priest on dialetheism and paraconsistency

Baskent, C. and Ferguson, T. (ed.) 2019. Graham Priest on dialetheism and paraconsistency. Cham, Switzerland. Springer.

A history based logic for dynamic preference updates

Baskent, C. and McCusker, G. 2019. A history based logic for dynamic preference updates. Journal of Logic, Language and Information. https://doi.org/10.1007/s10849-019-09307-1

A game theoretical semantics for a logic of formal inconsistency

Baskent, C. and Carrasqueira, P. 2018. A game theoretical semantics for a logic of formal inconsistency. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy068

Rohit Parikh on logic, language and society

Baskent, C., Moss, L. and Ramanujam, R. (ed.) 2017. Rohit Parikh on logic, language and society. Springer.

A non-classical logical approach to social software

Baskent, C. 2017. A non-classical logical approach to social software. in: Baskent, C., Moss, L. and Ramanujam, R. (ed.) Rohit Parikh on Logic, Language and Society Springer.

A Yabloesque paradox in epistemic game theory

Baskent, C. 2018. A Yabloesque paradox in epistemic game theory. Synthese. 195 (1), pp. 441-464. https://doi.org/10.1007/s11229-016-1231-9

Game theoretical semantics for some non-classical logics

Baskent, C. 2016. Game theoretical semantics for some non-classical logics. Journal of Applied Non-Classical Logics. 26 (3), pp. 208-239. https://doi.org/10.1080/11663081.2016.1225488

Towards paraconsistent inquiry

Baskent, C. 2016. Towards paraconsistent inquiry. The Australian Journal of Logic. 13 (2), pp. 21-40. https://doi.org/10.26686/ajl.v13i2.2102

Game theoretical semantics for paraconsistent logics

Baskent, Can 2015. Game theoretical semantics for paraconsistent logics. van der Hoek, W., Holliday, W. and Wang, Wf. (ed.) LORI 2015: 5th International Workshop on Logic, Rationality and Interaction. Taipei, Taiwan 27 - 30 Oct 2015 Springer. pp. 14-26 https://doi.org/10.1007/978-3-662-48561-3_2

Perspectives on interrogative models of inquiry: developments in Inquiry and Questions

Baskent, C. (ed.) 2016. Perspectives on interrogative models of inquiry: developments in Inquiry and Questions. Switzerland Springer.

Some non-classical approaches to the Brandenburger–Keisler paradox

Baskent, C. 2015. Some non-classical approaches to the Brandenburger–Keisler paradox. Logic Journal of the IGPL. 23 (4), pp. 533-552. https://doi.org/10.1093/jigpal/jzv001

Topological semantics for da Costa paraconsistent logics Cω and C*ω

Baskent, C. 2015. Topological semantics for da Costa paraconsistent logics Cω and C*ω. Beziau, J., Chakraborty, M. and Dutta, S. (ed.) 5th World Congress on Paraconsistency (WCP 2014). Kolkata, India 13 - 17 Feb 2014 Springer, New Delhi. https://doi.org/10.1007/978-81-322-2719-9_19

Some topological properties of paraconsistent models

Baskent, C. 2013. Some topological properties of paraconsistent models. Synthese. 190 (18), pp. 4023-4040. https://doi.org/10.1007/s11229-013-0246-8

On knowledge and obligation

Baskent, C., Olde Loohuis, L. and Parikh, R. 2012. On knowledge and obligation. Episteme. 9 (2), pp. 171-188. https://doi.org/10.1017/epi.2012.7

A formal approach to lakatosian heuristics

Baskent, C. 2012. A formal approach to lakatosian heuristics. Logique et Analyse. 55 (217), pp. 23-46.

Public announcement logic in geometric frameworks

Baskent, C. 2012. Public announcement logic in geometric frameworks. Fundamenta Informaticae. 118 (3), pp. 207-223. https://doi.org/10.3233/FI-2012-710

A logic for strategy updates

Baskent, Can 2011. A logic for strategy updates. Ditmarsch, H., Lang, J. and Ju, S. (ed.) LORI 2011: 3rd International Workshop on Logic, Rationality and Interaction. Guangzhou, China 10 - 13 Oct 2011 Springer. pp. 382-383 https://doi.org/10.1007/978-3-642-24130-7_28

An examination of counterexamples in proofs and refutations

Bagce, S. and Baskent, C. 2009. An examination of counterexamples in proofs and refutations. Philosophia Scientiae. https://doi.org/10.4000/philosophiascientiae.228
  • 1106
    total views of outputs
  • 113
    total downloads of outputs
  • 12
    views of outputs this month
  • 6
    downloads of outputs this month