A complete axiomatization of a temporal logic with obligation and robustness

DOI10.1093/LOGCOM/EXU041zbMath1354.03020OpenAlexW2318473331MaRDI QIDQ2957954

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

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu041

zbMATH Keywords

robustnessdeontic logicaxiomsRoCTL*

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (2)

Expressiveness and succinctness of a logic of robustness ⋮ Sublogics of a branching time logic of robustness

This page was built for publication: A complete axiomatization of a temporal logic with obligation and robustness