Kamide, N. (2009). Temporal non-commutative logic: Expressing time, resource, order and hierarchy. Logic and Logical Philosophy, 18(2), 97–126. https://doi.org/10.12775/LLP.2009.007