Kees (Cornelis) van Berkel

  • Project Assistant, MSc
  • TU Wien
  • Institute for Logic and Computation, Theory and Logic Group, E185
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria
  • Room: HF 0423
  • Email: kees [at]

Research Interests

  • Deontic Logic(s), Agency Logic, Proof Theory and Formal Argumentation. Furthermore, I am interested in the methodology for formalizing metaphysics.

Current Position


  • MSc in Logic (University of Amsterdam - Institute for Language, Logic and Computation), track: Logic & Philosophy
  • BA in Philosophy (University of Amsterdam)


  1. van Berkel, K., Lyon, M. (2019) Cut-free Calculi and Relational Semantics for Temporal STIT Logics. Will appear in: Proceedings of JELIA 2019.
  2. van Berkel, K., Pascucci, M. (2018) Notions of Instrumentality in Agency Logic. (pdf) In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems. PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cham, pp 403-419
  3. van Berkel, K., (2015) Kant's Logic in the Critique of Practical Reason - A Logical Formalization of Kant's Practical Transcendental Argument (pdf) (Master's thesis). ILLC Publications, Master of Logic Thesis (MoL) Series, sep. 2015. Thesis supervised by Prof. Michiel van Lambalgen.