 Mathematical Logic for Computer Science (Volume 0) by Mordechai BenAri, 200302
 Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 by Dov. M. Gabbay, Mark A. Reynolds, et all 20000515
 Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) by Fred Kröger, Stephan Merz, 20101102
 The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna, Amir Pnueli, 19911218
 Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning by Dov M. Gabbay, C. J. Hogger, et all 19950615
 Temporal Modalities in Arabic Logic (Foundation of Language Supplementary Series) by N. Rescher, 19660731
 Specifying Message Passing and TimeCritical Systems with Temporal Logic (Lecture Notes in Computer Science) by Ron Koymans, 19921217
 Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11  14, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
 Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) by Brent T. Hailpern, 198207
 Temporal Logic in Specification: Altrincham, Uk, April 810, 1987 : Proceedings (Lecture Notes in Computer Science) by H. Banieqbal, H. Barringer, 198912
 Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
 Temporal Logics and their Applications by Author Unknown, 19880211
 Temporal Logic (Library of exact philosophy) by Nicholas Rescher, 197106
 Integrating Functional and Temporal Domains in Logic Design:: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) by Patrick C. McGeer, Robert K. Brayton, 19910531
