Preservation of obligations in a temporal and deontic framework

Authors:
Jan Broersen;Julien Brunel
Affiliations:
Utrecht University, Utrecht, The Netherlands;Institut de Recherche en Informatique de Toulouse, Toulouse, France
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 4
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Nomad: A Security Model with Non Atomic Actions and Deadlines

CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations
Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenario

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A state/event temporal deontic logic

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study logical properties that concern the preservation of future-directed obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy preservation properties, without loosing too much of the basic properties of the product. We arrive at a semantics in which we only consider ideal histories that share the same past as the current one, and that enables a characterization of the states in which the obligations propagate. These are the states where any obligation of a formula that concerns the present moment is not violated. When there are such violations, the deontic realm switches to a lower level of ideality.