I first give a sketch of the work carried out in terms of *scientific research* (WP1-WP3). This can be roughly spelled out in terms of three research lines:
(i) Work on reasoning about multiple attitudes and their aggregation. Together with Dominik Klein, I developed and studied logical systems in which one can express claims about goals, norms, preferences, etc. of agents, and study the way those attitudes can be combined by so-called "information pooling". This work resulted in two joint journal articles of which I am first author. One of these two articles has been accepted for publication in Studia Logica, one of the best journals in philosophical logic. A second article is currently under revision. In this research line, we studied both the static aspects of pooling modalities (cf. WP1) and the dynamic aspects (cf. WP2).
(ii) Work on deontic logic, in particular, conflict-tolerant deontic logics and multi-agent deontic logic. Conflict-tolerant deontic logics are relatively new, non-standard systems that can accomodate conflicting information concerning norms. They are relevant to the DYCODE project in the sense that constructive deliberation often consists in reasoning about and with conflicting constraints on the decision. In this context, I worked on conflict-tolerant adaptive deontic logics together with Joke Meheus and Mathieu Beirlaen. We published a survey article on this in the Ifcolog Journal of Logics and their Applications (open access). Multi-agent deontic logics allow us to consider constraints that are imposed on the decision by multiple agents, and to study how the proposals, options, or actions of distinct agents can be combined to form proposals, options, or actions at the group level. With Thijs De Coninck, a joint paper was accepted for publication in the DEON2020/2021 proceedings. This paper covers both static aspects of Multi-agent deontic logic (cf. WP1) and dynamic aspects due to changing perspectives on preferences (cf. WP2). We are currently working on a journal version of this paper.
(iii) In joint work with Allard Tamminga (University of Greifswald) and Hein Duijf (Free University of Amsterdam) I studied logics of individual and collective admissibility. This work relates to the DYCODE project in that it concerns the way options (actions) for a group can be defined from options (actions) for individuals, and the way a generally agreed upon normative code applies to group vs. individual options (actions). We wrote two journal articles falling within this research line. The first has meanwhile been published online (open access) with Synthese (a top journal in analytic philosophy). The second article is still under review.
For the third work package, I was not able to achieve the central objective of developing agent-based models of constructive deliberation (due to various circumstances). I did do preparatory work on such agent-based models (literature survey and in-depth study of existing models), work which I am sure will be useful in future work and provided inspiration for two grant applications.
For the fourth work package I was involved in a broad range of training activities, beside training-through research: a gender debiasing training; intensive German language course; training on presentation skills; advanced coursework in Game Theory; self-study of Dynamic Epistemic Logic.
Finally, for the fifth work package I did a number of things: (i) I created a ResearchGate page and a personal website in which I advertise my research and outreach activities; (ii) I gave invited lectures and contributed talks on my research and my experience as an MSCA-IF applicant; (iii) I created course material for high school teachers on social choice theory, deliberation, and democracy; (iv) I co-organized a lecture series on collective decision-making, co-chaired two international conferences (the DEON2020/2021 conference and Formal Ethics 2019), and two workshops. I was also co-chair of an outreach event "Democratie van de Toekomst" ("Democracy of the Future") which was supposed to take place in April 2020, but got postponed due to the COVID-19 pandemic.
