Title: Temporal logic
First published: 1995
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Tense (Logic), Time, Logic, symbolic and mathematical
LC classification: BC199.T4 O37 1995