Model checking propositional deontic temporal logic via a -calculus characterization

DOI10.1007/978-3-642-33296-8_3MaRDI QIDQ5200475zbMATH OpenOpenAlexFDO

Authors Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre

Publication date 6 November 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-33296-8_3

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• dCTL: a branching time temporal logic for fault-tolerant system verification
• Temporal Reasoning over Deontic Specifications
• scientific article; zbMATH DE number 1059247
• A Temporal Logic of Normative Systems
• scientific article; zbMATH DE number 1330140

Cited in

(2)

• Expressiveness and succinctness of a logic of robustness
• dCTL: a branching time temporal logic for fault-tolerant system verification

This page was built for publication: Model checking propositional deontic temporal logic via a \(\mu \)-calculus characterization

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