Reasoning about System-Degradation and Fault-Recovery with Deontic Logic

DOI10.1007/978-3-642-00867-2_2zbMath1234.68038OpenAlexW1529376368MaRDI QIDQ3623815

Thomas S. E. Maibaum, Pablo F. Castro

Publication date: 24 April 2009

Published in: Methods, Models and Tools for Fault Tolerance (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00867-2_2

zbMATH Keywords

formal specificationdeontic logicfault-tolerancesoftware design

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Fault Tolerance in Belief Formation Networks ⋮ A Tableaux System for Deontic Action Logic ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance

Cites Work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Contrary-to-duty obligations
• Deontic database constraints, violation and recovery
• Decision procedures and expressiveness in the temporal logic of branching time
• Temporal Reasoning over Deontic Specifications
• A Complete and Compact Propositional Deontic Logic
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning about System-Degradation and Fault-Recovery with Deontic Logic