Kees (Cornelis) van Berkel

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

Research Interests

  • Deontic Logics, Stit Logics and Proof Theory. Also methodology for formalizing philosophical theories.

Current Position


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


  1. Master's thesis: Kant's Logic in the Critique of Practical Reason - A Logical Formalization of Kant's Practical Transcendental Argument (pdf). ILLC Publications, Master of Logic Thesis (MoL) Series, sep. 2015. Thesis supervised by Prof. Michiel van Lambalgen.