- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Temporal Logic of Programs
Springer (1987)
Abstract
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
Logic for Computer Science.Steve Reeves & Michael Clarke - 1990 - Addison Wesley Publishing Company.
The Temporal Logic of Reactive and Concurrent Systems: Specifications.Zohar Manna & Amir Pnueli - 1992 - Springer Verlag.
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
Temporal Logics and Their Applications.Antony Galton - 1990 - Journal of Symbolic Logic 55 (1):364-366.
Analytics
Added to PP
2015-02-13
Downloads
8 (#1,580,566)
6 months
4 (#1,249,230)
2015-02-13
Downloads
8 (#1,580,566)
6 months
4 (#1,249,230)
Historical graph of downloads
Citations of this work
Handling database updates in two-dimensional temporal logic.Marcelo Finger - 1992 - Journal of Applied Non-Classical Logics 2 (2):201-224.
Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
The modal logic of continuous functions on cantor space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.
Back from the future.Andrea Masini, Luca Viganò & Marco Volpe - 2010 - Journal of Applied Non-Classical Logics 20 (3):241-277.
Model checking techniqes for the analysis of reactive systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-fcc9b7db9-hnclb uwo