Here’s the trick that I’ll use — and it’s simple to do.
I’ll define a procedure, which I will call Q,
that will use P’s predictions of halting success
to stir up a terrible logical mess.
Schlagwort: Logik
Loopoem.
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
Unless Uniqueness.
It is not a good idea to name a state after its valuation.
Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi: Dynamic Epistemic Logic
Lesexercise.
We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).
past-me, annoying now-me and future-me
ControlMaster, not LogicMaster.
If set to yes or 0, then ...