ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The role of deontic logic in the specification of information systems
Logics for databases and information systems
The temporal analysis of Chisholm's paradox
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Review of "Agency and deontic logic by John Horty" Oxford university press 2001
Artificial Intelligence and Law
A Temporal Logic of Robustness
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Hi-index | 0.00 |
RoCTL* was proposed to model and specify the robustness of reactive systems. RoCTL* extended CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. This paper gives an axiomatisation for all the operators of RoCTL* with the exception of the Until operator; this fragment is able to express similar contrary-to-duty obligations to the full RoCTL* logic. We call this formal system NORA, and give a completeness proof. We also consider the fragments of the language containing only path quantifiers (but where variables are dependent on histories).We examine semantic properties and potential axiomatisations for these fragments.