On the Role of Postconditions in Dynamic First-Order Epistemic Logic. - Côme Neyrand; Sophie Pinchinat (CoRR, 2022)