Axioms for Obligation and Robustness with Temporal Logic

DOI10.1007/978-3-642-14183-6_7zbMath1250.03027OpenAlexW2126917225MaRDI QIDQ4931567

John C. McCabe-Dansted, M. A. Reynolds, Tim French

Publication date: 29 September 2010

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-14183-6_7

Mathematics Subject Classification ID

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

This page was built for publication: Axioms for Obligation and Robustness with Temporal Logic