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, 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. Lyon, T., van Berkel, K. (2019) Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. Will appear in: Principles and Practice of Multi-Agent Systems (PRIMA) 2019.
  2. van Berkel, K., Ciabattoni, A., Freschi, E., Modgil, S. (2019) Evaluating Networks of Arguments: A Case Study in Mı̄māmsā Dialectics. Will appear in: Proceedings of LORI 2019.
  3. van Berkel, K., Lyon, T. (2019) A Neutral Temporal Deontic STIT Logic. Will appear in: Proceedings of LORI 2019.
  4. van Berkel, K., Lyon, T. (2019) Cut-free Calculi and Relational Semantics for Temporal STIT Logics.  (pdf) In: European Conference on Logics in Artificial Intelligence (JELIA). Springer, Cham pp 803-819
  5. 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
  6. Ciabattoni, A. Lellmann, B. van Berkel, K. (2018) Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. ACM SIGLOG News 5 (4), pp 48-51
  7. 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.