Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization

DOI10.1007/978-3-642-33296-8_3zbMath1372.68162OpenAlexW184949612MaRDI QIDQ5200475

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

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)

Related Items (1)

Expressiveness and succinctness of a logic of robustness

This page was built for publication: Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization