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