3 ms·
It is called Temporal logic or tense logic[1][2]. Linear time temporal logic is used in formal verification. [1] https://plato.stanford.edu/entries/logic-tempo
by raincom 3y ago
It is called Temporal logic or tense logic[1][2]. Linear time temporal logic is used in formal verification.
[1] https://plato.stanford.edu/entries/logic-temporal/ https://plato.stanford.edu/entries/logic-temporal/
[2] https://en.wikipedia.org/wiki/Temporal_logic https://en.wikipedia.org/wiki/Temporal_logic