This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.
Not much gets written about Arthur Prior these days, but his extraordinary clarity is working out the ontological nature of time and how it might be modelled formally led to temporal logic.
Some modern reinforcement learning algorithms are using temporal logical formulas for delayed rewards, that is, reward design.