- Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
- Temporal reasoning and default logics (Research report. Yale University. Dept. of Computer Science) by Steve Hanks, 1985
- On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation) by D Perrin, 1986
- A study of an extended temporal logic and a temporal fixed point calculus (Technical report series. University of Manchester. Dept. of Computer Science) by B Banieqbal, 1986
- Temporal Logic by Dov M. Gabbay, 2007
- An improved algorithm for the automatic verification of finite state systems using temporal logic (Research report. Carnegie-Mellon University. Dept. of Computer Science) by Michael C Browne, 1986
- Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / UniversiteÌ P. et M. Curie, Laboratoire Informatique TheÌorique et Programmation) by Ana R Cavalli, 1985
- Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 by Mark Reynolds, 2003-01-01
- A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE (ICOT technical report) by Naoshi Uchihira, 1989
- Protocol specification and verification using the significant event temporal logic (Technical report. University of British Columbia. Dept. of Computer Science) by George K Tsiknis, 1988
- Propositional temporal interval logic is PSPACE (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1987
- Temporal Logic (LEP Library of Exact Philosophy) by Nicholas Rescher, Alasdair Urquhart, 1971-08-18
- A temporal logic for multi-level reasoning about hardware by Ben Moszkowski, 1982
- Characterising temporal logic (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1989
|