Deontic action logic, atomic Boolean algebras and fault-tolerance

DOI10.1016/J.JAL.2009.02.001zbMATH Open1193.03060OpenAlexW2009328505MaRDI QIDQ846527FDOQ846527

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

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

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)

Cites Work

• Modal logic
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision procedures and expressiveness in the temporal logic of branching time
• An axiomatization of full computation tree logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Complete and Compact Propositional Deontic Logic
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Models and reality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal Reasoning over Deontic Specifications
• Temporal theories as modularisation units for concurrent system specification
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Deontic Component of Action Language $n{\mathcal{C}}+$

Cited In (15)

• Supercover semantics for deontic action logic
• 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
• Deontic Logics Based on Boolean Algebra

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)