A complete axiomatization of a temporal logic with obligation and robustness
Article in Journal of Logic and Computation (June 2014)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Journal of Logic and Computation (June 2014)