Closing a Gap in the Complexity of Refinement Modal Logic

Antonis Achilleos, Michael Lampis

Refinement Modal Logic (RML), which was recently introduced by Bozzelli et al., is an extension of classical modal logic which allows one to reason about a changing model. In this…