Research visit by Kees van Berkel (TU Vienna)

Kees van Berkel has arrived for a research visit from the beginning of October to end of November.

Untitled_klein-180x180.png Kees is a visiting researcher doing a PhD at TU Wien under the supervision of Agata Ciabattoni and Stefan Woltran. His research is centered on logical and argumentative perspectives of normative reasoning. This includes, for instance, the logical study of the principle of `ought-implies-can’ and the development of suitable proof systems for deontic agency logics. His webpage can be found here. At the moment, he is working on argumentative characterizations of deontic reasoning with Christian Straßer.