Kamide, N. Temporal Non-Commutative Logic: Expressing Time, Resource, Order and Hierarchy. LLP 2009, 18, 97-126.