Deontic action logic, atomic Boolean algebras and fault-tolerance

DOI10.1016/J.JAL.2009.02.001zbMath1193.03060OpenAlexW2009328505MaRDI QIDQ846527

Pablo F. Castro, Thomas S. E. Maibaum

Publication date: 9 February 2010

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2009.02.001

zbMATH Keywords

deontic logicformal methodstemporal logicfault-tolerancesoftware engineering

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logical aspects of Boolean algebras (03G05)

Related Items (9)

Towards a First-Order Deontic Action Logic ⋮ The paradoxes of permission an action based solution ⋮ Completely and partially executable sequences of actions in deontic context ⋮ Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance ⋮ Encapsulating deontic and branching time specifications ⋮ dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification ⋮ Supercover semantics for deontic action logic ⋮ Jerzy Kalinowski's logic of normative sentences revisited

Cites Work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Temporal theories as modularisation units for concurrent system specification
• Decision procedures and expressiveness in the temporal logic of branching time
• An axiomatization of full Computation Tree Logic
• Temporal Reasoning over Deontic Specifications
• A Complete and Compact Propositional Deontic Logic
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• Models and reality
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deontic action logic, atomic Boolean algebras and fault-tolerance