5 ms·
This reminds me of an old idea I’ve toyed with. In a logic class in university we talked about how some logic is time dependent, like A is true 2 hours after B
by clord 2y ago
This reminds me of an old idea I’ve toyed with. In a logic class in university we talked about how some logic is time dependent, like A is true 2 hours after B becomes true. I was inspired to try to think through a language like prolog that could model and solve these relations through time. Didn’t get far with it since it’s a hard problem and I had too many classes that term. I was thinking it would be useful for clockless chips.
- PedroBatista 2y agoNot sure if it's exactly what you're looking for but see this paper: https://ceur-ws.org/Vol-2785/paper9.pdf https://ceur-ws.org/Vol-2785/paper9.pdf ( A Language for Timeline-based Planning )
- raincom 2y agoIt 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