Philosophy
The Logic of Temporal Reasoning and the Philosophy of Time
Quick fact
Temporal logic, as developed by Arthur Prior, treats time as a structure of instants with an order relation, and uses operators like 'always' and 'eventually' to create a logic that can model both deterministic and branching futures.
Why this is interesting
We say 'I will always love you' or 'Eventually, you'll succeed' without hesitation. How can we logically reason about statements that range over time?