| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423152 | Electronic Notes in Theoretical Computer Science | 2009 | 21 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
