On Conflicts and Satisfiability in Metric Timed Normative Logics

Paper in proceeding, 2024

In this paper, we study the concept of conflict in the setting of timed normative logical specification languages. To this end, we introduce the Flat Monadic Metric Time Normative Logic suitable for specifying the behavior of basic timed normative systems using sets of intervals. We provide a characterization of normative conflicts by the satisfiability of the formula and its sub-formulas. Moreover, an SMT-based satisfiability procedure for FMMTNL is provided.