Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

Authors:
Philippe Balbiani;Jan Broersen;Julien Brunel
Affiliations:
Institut de Recherche en Informatique de Toulouse, University of Toulouse, France;Department of Information and Computing Sciences, Utrecht University, The Netherlands;Institut de Recherche en Informatique de Toulouse, University of Toulouse, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 9
Cited 0

Temporal reasoning over deontic specifications

Deontic logic in computer science
Tableaux based decision procedures for modal logics of confluence and density

Fundamenta Informaticae
Single Step Tableaux for Modal Logics

Journal of Automated Reasoning
The anchored version of the temporal framework

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Obligations and Dense Time for Specifying Deadlines

HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Nomad: A Security Model with Non Atomic Actions and Deadlines

CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations
Iteration-free PDL with Intersection: a Complete Axiomatization

Fundamenta Informaticae
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

In nowadays applications of temporal deontic logic to the verification of security policies, an issue arises concerning the temporal inheritance of future directed obligations that have net yet been met. We investigate decision procedures for temporal deontic logics that account for this particular interaction between time and obligation.