Talk: Matteo Pascucci (Bratislava)

Title:

An enriched framework for deontic action logic
(joint work with Alessandro Giordani)

Abstract:

I will present a logic framework which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification (which assigns a set of action types to an agent's behaviour) and deontic classification (which assigns a deontic value to action types). This framework results from a combination of agency logic and dynamic logic and is sufficiently expressive to represent many kinds of normative conflict. Its semantics is based on future-branching trees. Each tree is endowed with equivalence classes of simultaneous states, thus making room for alternative choices available to an agent. I will present various deductive systems built over the framework, discuss the main differences with respect to other approaches proposed in the literature, and indicate some challenges for future research.