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
Schlagwort: Logik
Unless Uniqueness.
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 ...
聪明.
Sometimes all I understand is my own name.
Zukunnftnisse.
Sometimes it is good to know something about the future.
a logician