This paper studies a logic that combines deontic and temporal aspects. We first present a state/event temporal formalism and define a deontic extension of it. Then, we study the interaction between the temporal dimension and the deontic dimension. We present some logical properties, concerning formulas where deontic and temporal operators are nested, and discuss their intuitive meaning. We focus more particularly on the properties of obligation with deadline and define a specific operator to express this notion. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Brunel, J., Bodeveix, J. P., & Filali, M. (2006). A state/event temporal deontic logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4048 LNAI, pp. 85–100). Springer Verlag. https://doi.org/10.1007/11786849_9
Mendeley helps you to discover research relevant for your work.