![](/img/cover-not-exists.png)
Refinement modal logic
Bozzelli, Laura, van Ditmarsch, Hans, French, Tim, Hales, James, Pinchinat, SophieVolume:
239
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2014.07.013
Date:
December, 2014
File:
PDF, 1008 KB
english, 2014