![](/img/cover-not-exists.png)
The complexity of one-agent refinement modal logic
Bozzelli, Laura, van Ditmarsch, Hans, Pinchinat, SophieVolume:
603
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.07.015
Date:
October, 2015
File:
PDF, 817 KB
english, 2015