Books on the topic 'Temporal logic'

Gabbay, Dov M., and Hans Jürgen Ohlbach, eds. Temporal Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/bfb0013976.

Øhrstrøm, Peter, and F. V. Per Hasle. Temporal Logic. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-0-585-37463-5.

Barringer, Howard, Michael Fisher, Dov Gabbay, and Graham Gough, eds. Advances in Temporal Logic. Dordrecht: Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-015-9586-5.

Kröger, Fred. Temporal Logic of Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-71549-5.

Banieqbal, B., H. Barringer, and A. Pnueli, eds. Temporal Logic in Specification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51803-7.

Kröger, Fred. Temporal Logic of Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987.

Kröger, Fred. Temporal logic of programs. Berlin: Springer-Verlag, 1987.

1951-, Barringer Howard, ed. Advances in temporal logic. Dordrecht: Kluwer Academic Publishers, 2000.

Kröger, Fred. Temporal logic of programs. Berlin: Springer-Verlag, 1987.

Executing temporal logic programs. Cambridge [Cambridgeshire]: Cambridge University Press, 1986.

Gabbay, Dov M. Temporal logic: Tense or nontense. London: Imperial College of Science and Technology, Department of Computing, 1988.

Moszkowski, Ben C. Executing temporal logic programs: Full version. Cambridge: University of Cambridge, Computer Laboratory, 1985.

Ostroff, Jonathan S. Temporal logic for real-time systems. Taunton, England: Research Studies Press, 1989.

Ian, Hodkinson, Reynolds Mark, and Finger Marcelo, eds. Temporal logic: Mathematical foundations and computational aspects. Oxford: Clarendon Press, 1994.

Representing musical time: A temporal-logic approach. Exton, (PA): Swets & Zeitlinger Publishers, 2000.

Antony, Galton, ed. Temporal logics and their applications. London: Academic Press, 1987.

Øhrstrøm, Peter. Temporal logic: From ancient ideas to artificial intelligence. Dordrecht: Kluwer Academic Publishers, 1995.

McGuire, Hugh W. Two methods for checking formulas of temporal logic. Stanford, Calif: Dept. of Computer Science, Stanford University, 1995.

McGeer, Patrick C., and Robert K. Brayton. Integrating Functional and Temporal Domains in Logic Design. Boston, MA: Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-3960-5.

Manna, Zohar, and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. New York, NY: Springer New York, 1992. http://dx.doi.org/10.1007/978-1-4612-0931-7.

1951-, Barringer Howard, ed. The Imperative future: Principles of executable temporal logic. Taunton, Somerset, England: Research Studies Press, 1996.

Holcombe, W. M. L. A hybrid projection temporal logic for hybrid systems. Sheffield: University of Sheffield, Dept. of Computer Science, 1995.

Øhrstrom, Peter. Temporal logic: From ancient ideas to artificial intelligence. Dordrecht: Kluwer Academic, 1995.

Manna, Zohar. The temporal logic of reactive and concurrent systems. New York: Springer-Verlag, 1992.

Bradfield, J. C. Verifying temporal properties of systems. Boston: Birkhäuser, 1992.

Baudinet, Marianne. On the semantics of temporal logic programming (preliminary report). Stanford, Calif: Dept. of Computer Science, Stanford University, 1988.

Fisher, Michael. An Introduction to Practical Formal Methods Using Temporal Logic. Chichester, UK: John Wiley & Sons, Ltd, 2011. http://dx.doi.org/10.1002/9781119991472.

Haydar, May. Adding propositional scopes to linear temporal logic: Rapport technique. Montréal: Centre de recherche informatique de Montréal, 2005.

Temporal logic, omniscience, human freedom: Perspectives in analytic philosophy. Frankfurt am Main: P. Lang, 1991.

Koyman, R. Specifying message passing andtime-critical systems with temporal logic. Berlin: Springer-Verlag, 1992.

Manna, Zohar. The Temporal Logic of Reactive and Concurrent Systems: Specification. New York, NY: Springer New York, 1992.

Benthem, Johan van. The logic of time: A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. 2nd ed. Dordrecht: Kluwer Academic Publishers, 1991.

J. F. A. K. van Benthem. The logic of time: A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. 2nd ed. Dordrecht: Kluwer Academic Publishers, 1991.

Stirling, Colin. Modal and Temporal Properties of Processes. New York, NY: Springer New York, 2001.

Sion, Avi. Future Logic: Categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities. Vancouver Island, B.C., Canada: Author, 1990.

Sion, Avi. Future Logic: Categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities. Geneva, Switzerland: Author through Lulu.com, 1996.

Koymans, Ron, ed. Specifying Message Passing and Time-Critical Systems with Temporal Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56283-4.

Koymans, R. Specifying message passing and time-critical systems with temporal logic. Berlin: Springer-Verlag, 1992.

Rao, Arun Chakrapani. A visual framework for formal systems development using interval temporal logic. Leicester: De Montfort University, 2002.

1960-, Banieqbal B., Barringer Howard 1951-, Pnueli A, and Colloquium on Temporal Logic in Specification (1987 : Altrincham, England), eds. Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings. Berlin: Springer-Verlag, 1989.

Tuzhilin, Alexander. Using temporal logic and Datalog to query databases evolving in time. New York: Courant Institute of Mathematical Sciences, New York University, 1989.

Nerbonne, John A. German temporal semantics: Three-dimensional tense logic and a GPSG fragment. New York: Garland Pub., 1985.

Ligozat, Gérard. Qualitative spatial and temporal reasoning. London, UK: ISTE, 2011.

Sion, Avi. Future logic: Categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities. Charleston, South Carolina: CreateSpace, 2014.

Naik, Yogesh. A temporal logic for the specification and verification of real-time systems. [s.l.]: typescript, 1993.

Elliott, Ralph. Some issues in the design of digital circuits using Occam and temporal logic. Norwich: University of East Anglia, 1990.

1945-, Gabbay Dov M., and Ohlbach Hans Jürgen, eds. Temporal logic: First international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings. Berlin: Springer-Verlag, 1994.

Mainzer, Klaus, and Stefania Centrone. Temporal Logic. WORLD SCIENTIFIC, 2022. http://dx.doi.org/10.1142/13205.

Rescher, Nicholas, and Alasdair Urquhart. Temporal Logic. Springer, 2012.

Kröger, Fred. Temporal Logic of Programs. Springer, 2011.