3 ms·
> It's the logic of state developing over time. You may already be aware of this, but that various kinds of temporal logic allows one to capture very complex p
by johnbender 8y ago
> It's the logic of state developing over time.
You may already be aware of this, but that various kinds of temporal logic allows one to capture very complex predicates for the evolution of state machine (much like your person with a dollar).
If you have a familiarity with state machines (here Kripke systems) it might be approachable.
Some useful links:
1. https://www.cs.cmu.edu/~emc/15414-s14/lecture/ModelChecking.pdf https://www.cs.cmu.edu/~emc/15414-s14/lecture/ModelChecking....
2. https://plato.stanford.edu/entries/logic-temporal/ https://plato.stanford.edu/entries/logic-temporal/
- adamnemecek 8y agoI'm aware of temporal logic (besides temporal logic there's there's also temporal linear logic) I do find it to be more useful in certain situations, however you do lose some generality and I really enjoy that generality. For example, idk if you could build a better borrow checker by using TLL rather than LL. At the same time, the second I said this I realized that Idk whether you could.