Deontic action logic, atomic Boolean algebras and fault-tolerance
From MaRDI portal
Publication:846527
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
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
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
