Deontic action logic, atomic Boolean algebras and fault-tolerance

DOI10.1016/J.JAL.2009.02.001MaRDI QIDQ846527zbMATH OpenOpenAlexFDO

Authors Pablo F. Castro, Tim 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

fault-tolerancedeontic logicformal methodstemporal logicsoftware engineering

Mathematics Subject Classification ID

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

Recommendations

• On deontic action logics based on Boolean algebra
• A systematics of deontic action logics based on Boolean algebra
• Deontic action logics via algebra
• Deontic Logics Based on Boolean Algebra
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity
• Action negation and alternative reductions for dynamic deontic logics
• Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
• A deontic logic reasoning infrastructure
• Deontic logic with action types and tokens

Cites work

• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 4081518 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• A Complete and Compact Propositional Deontic Logic
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• An axiomatization of full computation tree logic
• Decision procedures and expressiveness in the temporal logic of branching time
• Institutions: abstract model theory for specification and programming
• Modal logic
• Models and reality
• Temporal Reasoning over Deontic Specifications
• Temporal theories as modularisation units for concurrent system specification
• The Deontic Component of Action Language $n{\mathcal{C}}+$

Cited in

(15)

• Supercover semantics for deontic action logic
• Deontic Logics Based on Boolean Algebra
• A Complete and Compact Propositional Deontic Logic
• Encapsulating deontic and branching time specifications
• Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
• Jerzy Kalinowski's logic of normative sentences revisited
• The paradoxes of permission an action based solution
• On deontic action logics based on Boolean algebra
• A Tableaux System for Deontic Action Logic
• Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
• dCTL: a branching time temporal logic for fault-tolerant system verification
• Deontic logic, contrary to duty reasoning and fault tolerance
• Towards a first-order deontic action logic
• Completely and partially executable sequences of actions in deontic context
• Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q846527)