“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
Wrong indentation makes me nervous.
In the name of beauty and typography, please remove the print button from pdf.js in Firefox. No, really.
Het mooie van logica, van wetenschap in het algemeen, is dat het groter is dan jezelf: je kunt je er altijd in blijven ontwikkelen.
Someone please give me a language in which left and right have the same length.