Arrow Update Synthesis

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi +1

In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpr…