Kees 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] logic.at

Research Interests

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

Current Position


Education

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

Publications

  1. van Berkel K., Lyon T., Olivieri F. (2020) A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. In: Dastani M., Dong H., van der Torre L. (eds) Logic and Argumentation. CLAR 2020. Lecture Notes in Computer Science, vol 12061. Springer, Cham
  2. Lyon T., van Berkel K. (2019) Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. In: Baldoni M., Dastani M., Liao B., Sakurai Y., Zalila Wenkstern R. (eds) PRIMA 2019: Principles and Practice of Multi-Agent Systems. PRIMA 2019. Lecture Notes in Computer Science, vol 11873. Springer, Cham
  3. van Berkel K., Ciabattoni A., Freschi E., Modgil S. (2019) Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. In: Blackburn P., Lorini E., Guo M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science, vol 11813. Springer, Berlin, Heidelberg
  4. van Berkel K., Lyon T. (2019) A Neutral Temporal Deontic STIT Logic. In: Blackburn P., Lorini E., Guo M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science, vol 11813. Springer, Berlin, Heidelberg
  5. 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
  6. 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
  7. 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
  8. 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.