NB. Both ⋄ and
(and every other symbol used in logic) exist in Unicode. No need for ASCII approximations.
https://en.m.wikipedia.org/wiki/List_of_logic_symbols …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
That interpretation would be used in some temporal logic. https://en.m.wikipedia.org/wiki/Modal_logic …
-
I just realized how brash I might seem, jumping twice onto this with my 2¢ of modal logic from 30y ago... Sorry @FormalFact, u da best!
End of conversation
New conversation -
-
-
Sorry all. If you consider finite time, <>P means it MUST happen, we just do not know how long we have to wait for it. That is different.
-
I think that's exactly right. "Eventually P" means it must happen. I don't see any discrepancy.
- 4 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.