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
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
Consistency is only a matter of the proof system we agree on.
Making backups is meditation. Though not as much as it would have been in the analogue age.
Determinacy would probably be a better term for this notion, but we stick to dependency for the sake of consistency with the existing literature.
My only thought about the superbowl is my friend watching it and allowing me to stay at his place without asking questions.