The Complexity of One-Agent Refinement Modal Logic
| Title | The Complexity of One-Agent Refinement Modal Logic |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Bozzelli, L, van Ditmarsch, H, Pinchinat, S |
| Journal | Theoretical Computer Science |
Work Package:
WP2
