Results for "Logic of Temporal Ordering System"