Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance

DOI10.1016/J.ENTCS.2009.12.011zbMath1294.03019OpenAlexW2000766861MaRDI QIDQ5170187

Pablo F. Castro, Thomas S. E. Maibaum

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.12.011

zbMATH Keywords

deontic logicfault-tolerancesoftware verificationsoftware specification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Simulation relations for fault-tolerance

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic action logic, atomic Boolean algebras and fault-tolerance
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Contrary-to-duty obligations
• Authenticated Algorithms for Byzantine Agreement
• A Tableaux System for Deontic Action Logic
• A Complete and Compact Propositional Deontic Logic
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
• The Byzantine Generals Problem

This page was built for publication: Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance