On the Role of Postconditions in Dynamic First-Order Epistemic Logic

Côme Neyrand, Sophie Pinchinat

Dynamic Epistemic Logic (DEL) is a logic that models information change in a multi-agent setting through the use of action models with pre- and post-conditions. In a recent work, D…