Title: Temporal logic
First published: 1995
Subjects: Temps, Lògica matemàtica, Tense (Logic), Symbolic and mathematical Logic, Time, Logic, symbolic and mathematical