The complexity of one-agent Refinement Modal Logic

by Laura Bozzelli, Hans Van Ditmarsch, Sophie Pinchinat