Model checking propositional deontic temporal logic via a -calculus characterization

DOI10.1007/978-3-642-33296-8_3zbMATH Open1372.68162OpenAlexW184949612MaRDI QIDQ5200475FDOQ5200475

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

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

Mathematics Subject Classification ID

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

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)