LogiCS | Kees van Berkel

Project Assistant, MSc
TU Wien
Institute of 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

Normative Reasoning, Deontic Logic, Agency Logic, Formal Argumentation, and Proof Theory. Furthermore, I am interested in the formal study of ethical principles and practical reasoning.

Current Position

I am a PhD student fully funded by the Doctoral College Logical Methods in Computer Science, at TU Wien since 2018. My supervisors are Prof. Agata Ciabattoni and Prof. Stefan Woltran. My research is centered on logical and argumentative perspectives of normative reasoning, this includes the logical study of the principle of `ought-implies-can’ and the development of suitable proof systems for deontic agency logics. Furthermore, I am a member of the project Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts as funded by WWTF.

Education

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

Journal publications:

van Berkel, K., Ciabattoni, A., Freschi, E., Gulisano, F., Olszewski, M. (2022) Deontic paradoxes in Mīmāṃsā logics: there and back again. Journal of Logic Language and Information.

Conference publications:

Arieli, O., van Berkel, K., Straßer, C. (2022) Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. In: 31st International Joint Conference on Artificial Intelligence (IJCAI22). Accepted for publication.
van Berkel, Ciabattoni, A., Freschi, E., Gulisano, F., Olszewski, M. (2021) The Gentle Murder Paradox in Sanskrit Philosophy. In: F. Liu, A. Marra, P. Portner, F. Van De Putte (Eds.): Deontic Logic and Normative Systems: 15th International Conference (DEON2021 Munich). College Publications, London
van Berkel, K., Gabbay, D., van der Torre, L. (2021) If you want to smoke, don't buy cigarettes: near-anankastics, contexts, and hyper modality. In: F. Liu, A. Marra, P. Portner, F. Van De Putte (Eds.): Deontic Logic and Normative Systems: 15th International Conference (DEON2021 Munich). College Publications, London
van Berkel, K., Lyon, T. (2020) The Varieties of Ought-implies-Can and Deontic STIT Logic. In: F. Liu, A. Marra, P. Portner, F. Van De Putte (Eds.): Deontic Logic and Normative Systems: 15th International Conference (DEON2020/2021 Munich). College Publications, London, pp.1-20 (pdf)
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 (pdf)
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 (pdf)
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 (pdf)
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 (pdf)
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
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 (pdf)

Miscellaneous:

van Berkel, K. (2022) Kant’s Logic: Letting go of a Historical Assumption. In: Stenning, K., Stokhof, M. (eds), Rules, Regularities, Randomness. Festschrift for Michiel van Lambalgen. pp.35–55
Ciabattoni, A. Lellmann, B. van Berkel, K. (2018) Deontic reasoning: from ancient texts to artificial intelligence. In: ACM SIGLOG News 5 (4), pp 48-51
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.