Dynamic Logic
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
The Prescription and Description of State Based Systems
Temporal Logic in Specification
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
A Tableaux System for Deontic Action Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Challenges in the Specification of Full Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance
Abstract specification of legal contracts
Proceedings of the 12th International Conference on Artificial Intelligence and Law
$\mathcal{CL}$: An Action-Based Logic for Reasoning about Contracts
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
Electronic Notes in Theoretical Computer Science (ENTCS)
A logical framework to deal with variability
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
| Hi-index | 0.00 |
In this paper we present a propositional deontic logic, with the goal of using it to specify fault-tolerant systems, and an axiomatization of it. We prove several results about this logic: completeness, soundness, compactness and decidability. The main technique used during the completeness proof is based on standard techniques for modal logics, but it has some new characteristics introduced for dealing with this logic. In addition, the logic provides several operators which appear useful for use in practice, in particular to model fault-tolerant systems and to reason about their fault tolerance properties.