The Temporal Logic Of Programs

·1977·DOI
Health Data Science
Data Science and Technologies
Algorithms and Logical Systems
Temporal Logic and Reasoning

Role in the Field

Neutralin Health Data Science
Neutralin Data Science and Technologies
Neutralin Algorithms and Logical Systems
Neutralin Temporal Logic and Reasoning

Abstract

Citations

3,082

Year

1977

PageRank

5.2 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Temporal Networks
·2012·2,143 citations
Temporal Construal.
·2003·2,577 citations
Alternating-time Temporal Logic
·2002·814 citations
The Temporal Logic Of Actions
·1994·1,014 citations
The Temporal Logic Of Reactive And Concurrent Systems
·1992·1,488 citations
Temporal Constraint Networks
·1991·914 citations
Nonmonotonic Reasoning, Preferential Models And Cumulative Logics
·1990·999 citations
Temporal And Modal Logic
·1990·826 citations
Specifying Real-Time Properties With Metric Temporal Logic
·1990·799 citations
Maintaining Knowledge About Temporal Intervals
·1983·4,618 citations