Cover Image
Read Now

1
by Øhrstrøm, Peter, Hasle, Per
Published 1995
Springer Netherlands
Table of Contents: “... -- ?ukasiewicz’s contribution to temporal logic -- A three-point structure of tenses -- A.N. Prior’s tense-logic...”
Cover Image
Read Now

2
by Rescher, Nicholas, Urquhart, Alasdair
Published 1971
Springer Vienna
Table of Contents: “... -- Bibliography of Temporal Logic -- A. Chronological Listing -- B. Author Listing (Alphabetical) -- Index...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... system -- Axiomatizing U and S over integer time -- Temporal logic with reference pointers...”
Cover Image
Read Now

5
Published 2000
Springer Netherlands
“... foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic...”
Cover Image
Read Now

6
by Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Table of Contents: “.... Propositional Temporal Logic -- 1. A Language TTA of Propositional Temporal Logic -- 2. Semantics of TTA -- 3...”
Cover Image
Read Now

7
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Comparing linear and branching time temporal logics -- Interleaving set temporal logic...”
Cover Image
Read Now

9
by Kröger, Fred, Merz, Stephan
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Basic Concepts and Notions of Logics -- Basic Propositional Linear Temporal Logic -- Extensions...”
Cover Image
Read Now

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...An introduction to executable modal and temporal logics -- Temporal logic programming with metric...”
Cover Image
Read Now

12
by Manna, Zohar, Pnueli, Amir
Published 1992
Springer New York
Table of Contents: “... -- 3: Temporal Logic -- 4: Properties of Programs -- References -- Index to Symbols -- General Index...”
Cover Image
Read Now

13
Published 1982
Springer
Cover Image
Read Now

14
by Hailpern, B. T.
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...Programming environment -- Verification -- Temporal logic -- 5. Techniques -- Network protocols...”
Cover Image
Read Now

15
by Fisher, Michael
Published 2011
Wiley
Table of Contents: “...Front Matter -- Introduction -- Temporal Logic -- Specification -- Deduction -- Model Checking...”
Cover Image
Read Now

17
by Koymans, Ron
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...How to specify -- A review of modal and temporal logic -- Polymodal logics with inequality...”
Cover Image
Read Now

19
by Penczek, Wojciech, Pólrola, Agata
Published 2006
Springer Berlin Heidelberg
“... in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed...”
Cover Image
Read Now

20
by Kaniewski, Piotr
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...temporal logic...”