Presentations

The Complexity of One-Agent Refinement Modal Logic

Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.