The Complexity of One-Agent Refinement Modal Logic

TitleThe Complexity of One-Agent Refinement Modal Logic
Publication TypeJournal Article
Year of Publication2014
AuthorsBozzelli, L, van Ditmarsch, H, Pinchinat, S
JournalTheoretical Computer Science
Work Package: 
WP2