Title: Temporal logic and state systems
Subjects: Tense (Logic), Symbolic and mathematical Logic, Time, Logic, symbolic and mathematical