The complexity of one-agent refinement modal logic (2013)

by L Bozzelli, H P van Ditmarsch, S Pinchinat