Let Φ (a physical possibility structure) be a set of distinct but intersecting paths ji–jn, each of which is a set of functions, L’s, on ordered pairs {t, w} ({time, world situation}), such that for any Ln, Lm in some ji, Ln R Lm, where R is a primitive accessibility relation corresponding to physical possibility understood in terms of diachronic physical compatibility.
There are reasons that he’s better known for an essay about a boat.
Also Consider the Philosopher, which made me choke on my beer.

Notes