Formalizing flint: a logic of preconditions and consequences of actions - Poster
conference paper
We present ongoing work on the formalization of flint, an action-focused framework for representing interpretations of normative sources. Drawing on the relational theory of norms, flint emphasizes how norms constrain behavior by modeling them as prerequisites and consequences of actions, rather than using traditional deontic notions like obligation and permission.
TNO Identifier
1017084
Source title
The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) June 30 - July 03, 2025, Vienna, Austria