- Mathematical Logic for Computer Science (Volume 0) by Mordechai Ben-Ari, 2003-02
- Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 by Dov. M. Gabbay, Mark A. Reynolds, et all 2000-05-15
- Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) by Fred Kröger, Stephan Merz, 2010-11-02
- The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna, Amir Pnueli, 1991-12-18
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning by Dov M. Gabbay, C. J. Hogger, et all 1995-06-15
- Temporal Modalities in Arabic Logic (Foundation of Language Supplementary Series) by N. Rescher, 1966-07-31
- Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) by Ron Koymans, 1992-12-17
- 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, 1982-07
- Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science) by H. Banieqbal, H. Barringer, 1989-12
- 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, 1988-02-11
- Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy (Europaische Hochschulschriften Reihe XX, Philosophie) by Boniface Enyeribe Nwigwe, 1991-06
- Temporal Logic for Real-Time Systems (Advanced Software Development Series) by Jonathan S. Ostroff, 1989-08
|