The Precedence Relation (Temporal Logic)
November 4, 2015 12:00 pm
An explanation of the central first order logic relation to instant based temporal logic, the precedence relation.