A Complete and Compact Propositional Deontic Logic

DOI10.1007/978-3-540-75292-9_8zbMath1143.03343OpenAlexW2101995394MaRDI QIDQ3525078

Thomas S. E. Maibaum, Pablo F. Castro

Publication date: 17 September 2008

Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_8

zbMATH Keywords

modal logicfault tolerancedeontic logictemporal logicsoftware specification

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)

Related Items (7)

Deontic action logic, atomic Boolean algebras and fault-tolerance ⋮ A Tableaux System for Deontic Action Logic ⋮ A dynamic deontic logic for complex contracts ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance ⋮ Challenges in the Specification of Full Contracts ⋮ Reasoning about System-Degradation and Fault-Recovery with Deontic Logic ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts

This page was built for publication: A Complete and Compact Propositional Deontic Logic