Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference23 articles.
1. A. Pnueli, The Temporal Logic of Programs, in: Proceedings of the 18th IEEE Symposium Foundations of Computer Science, IEEE, 1977, pp. 46–57.
2. D. M. Gabbay, Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems, in: Proceedings of the Colloquium of Temporal Logic in Specification, Vol. 398 of LNCS, Springer, 1989, pp. 67–89.
3. D. Gabbay, I. Hodkinson, M. Reynolds, Temporal Logic: Mathematical Foundations and Computational Aspects. Volume I, Oxford University Press, 1994.
4. D. P. Guelev, B. C. Moszkowski, A separation theorem for discrete-time interval temporal logic, J. Appl. Non Class. Logics 32 (1) (2022) 28–54. doi:10.1080/11663081.2022.2050135.
5. B. Moszkowski, Executing Temporal Logic Programs, Cambridge University Press, 1986. URL http://www.antonio-cau.co.uk/ITL/publications/reports/tempura-book.pdf.