Applications of deontic logic in computer science: a concise overview
Deontic logic in computer science
The role of deontic logic in the specification of information systems
Logics for databases and information systems
Specification and verification of concurrent systems in CESAR
Proceedings of the 5th Colloquium on International Symposium on Programming
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
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
Organization based access control
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Nomad: A Security Model with Non Atomic Actions and Deadlines
CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations
Bounded Model Checking for Deontic Interpreted Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
State/Event software verification for branching-time specifications
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Security policy compliance with violation management
Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Preservation of obligations in a temporal and deontic framework
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
`What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
Computational Logic in Multi-Agent Systems
Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about Norms, Obligations, Time and Agents
Agent Computing and Multi-Agent Systems
Addressing Temporal Aspects of Privacy-Related Norms
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A first step towards security policy compliance of connectors
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |
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.