The Complexity of One-Agent Refinement Modal Logic.

Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat

Browse the full IJCAI paper archive.