Quantifying over epistemic updates

Dynamic epistemic logics reason about the knowledge belonging to a collectionof agents and how that knowledge changes in response to epistemic updates,events that provide agents with additional information. Previous work in dynamicepistemic logic, such as public announcement logic [76, 47] and actionmodel logic [15, 14], introduced models for epistemic updates and logics for reasoning about the effects of specific epistemic updates using these models. However many natural questions about epistemic updates are not questions about specific epistemic updates. For example, given a desired change in knowledge we might ask \Is there an epistemic update that results in the desired change in knowledge?", and if there is we might also ask \What is a specific epistemic update that results in the desired change in knowledge?". More recent works in dynamic epistemic logic, such as arbitrary public announcement logic [11] and group announcement logic [74], have considered logics for quantifying over epistemic updates. In principle these logics allow us to answer such questions using model-checking or satisfiability procedures, although these particular logics are undecidable [45, 3], and quantify over relatively restricted forms of epistemic updates.
In the present work we consider logics for quantifying over very general formsof epistemic updates: arbitrary action model logic, which quantities over actionmodels; and refinement modal logic, which quantities over refinements, whichhave a partial correspondence with the results of action models, but are moregeneral. We present sound and complete axiomatisations, expressivity results,and decidability results for these logics in various multi-agent modal settings.