“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
“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