A Tableaux System for Deontic Action Logic

DOI10.1007/978-3-540-70525-3_4zbMath1143.68595OpenAlexW1574178290MaRDI QIDQ3522041

Pablo F. Castro, Thomas S. E. Maibaum

Publication date: 28 August 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-70525-3_4

zbMATH Keywords

Fault-toleranceModal LogicDeontic Action LogicSoftware SpecificationTableaux Systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Temporal theories as modularisation units for concurrent system specification
• Tableau methods of proof for modal logics
• Temporal Reasoning over Deontic Specifications
• A Complete and Compact Propositional Deontic Logic
• Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• AI 2003: Advances in Artificial Intelligence
• A practical decision method for propositional dynamic logic (Preliminary Report)

This page was built for publication: A Tableaux System for Deontic Action Logic