«

»

Pfuiction Models.

“Pfui! One must keep syntax and semantics strictly separated, or the world will fall apart.”

Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi: Dynamic Epistemic Logic