Keyword

temporal logic

Description: Temporal logic is a formal system for expressing propositions about events, states, and relationships over time, used in computer science and verification.

Primary topic: Formal Methods in Verification (30%)

Wikidata ID: wiki/Q781833

OpenAlex ID: keywords/temporal-logic

Maintaining knowledge about temporal intervals

1983 · James F. Allen · Communications of the ACM · 7,588

PDF

Model checking

1996 · E. M. Clarke, Orna Grümberg, et al. · 6,810

The temporal logic of programs

1977 · Amir Pnueli · Annual Symposium on Foundations of Computer Science · 5,808

Principles of Model Checking

2008 · Christel Baier, Joost-Pieter Katoen · 4,811

Model Checking

1999 · Edmund M. Clarke, Bernd–Holger Schlingloff · 4,212

A Temporal Logic of Nested Calls and Returns

2004 · Rajeev Alur, Kousha Etessami, et al. · Lecture notes in computer science · 3,332

The Temporal Logic of Reactive and Concurrent Systems

1992 · Zohar Manna, Amir Pnueli · Springer eBooks · 2,959

A theory of diagnosis from first principles

1987 · Raymond Reiter · Artificial Intelligence · 2,946

Temporal and Modal Logic

1990 · E. Allen EMERSON · Elsevier eBooks · 2,637

Towards a general theory of action and time

1984 · James F. Allen · Artificial Intelligence · 2,560

Agent-oriented programming

1993 · Yoav Shoham · Artificial Intelligence · 2,047

Encyclopedia of Database Systems

2009 · LIU, LING, ÃZSU, M. TAMER · Springer eBooks · 1,749

A Logic-based Calculus of Events

1986 · Robert Kowalski, Marek Sergot · New Generation Computing · 1,700

The synchronous data flow programming language LUSTRE

1991 · N. Halbwachs, P. Caspi, et al. · Proceedings of the IEEE · 1,592

Past, Present and Future

1967 · Arthur Prior · Oxford University Press eBooks · 1,486

Dynamic predicate logic

1991 · Jeroen Groenendijk, Martin Stokhof · Linguistics and Philosophy · 1,426

PDF

The Temporal Logic of Reactive and Concurrent Systems: Specification

1991 · Amir Pnueli, Zohar Manna · 1,355

Specification and verification of concurrent systems in CESAR

1982 · J. P. Queille, J. Sifakis · Lecture notes in computer science · 1,326

Monitoring Temporal Properties of Continuous Signals

2004 · Oded Maler, Dejan Nickovic · Lecture notes in computer science · 1,267

Reasoning about Rational Agents

2000 · Michael Wooldridge · The MIT Press eBooks · 1,244

Model checking and abstraction

1994 · Edmund M. Clarke, Orna Grumberg, et al. · ACM Transactions on Programming Languages and Systems · 1,211

PDF

A New Introduction to Modal Logic

1996 · G E Hughes, M J Cresswell · Taylor & Francis eBooks · 1,044

Defining liveness

1985 · Bowen Alpern, Fred B. Schneider · Information Processing Letters · 1,044

Principles of Model Checking (Representation and Mind Series)

2008 · Christel Baier, Joost-Pieter Katoen · The MIT Press eBooks · 1,022

Symbolic model checking: an approach to the state explosion problem

1992 · Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 976

Works count: 12,120

Citation count: 204,800