A propositional modal logic of time intervals

Maintaining knowledge about temporal intervals

1983 • 7,583 citations

Theory of Recursive Functions and Effective Computability.

1969 • 2,849 citations

Theory of Recursive Functions and Effective Computability

1969 • 2,654 citations

Towards a general theory of action and time

1984 • 2,602 citations

A Mathematical Introduction to Logic

2001 • 2,459 citations

A logic-based calculus of events

1986 • 1,701 citations

Past, Present and Future

1967 • 1,333 citations

A temporal logic for reasoning about processes and plans

1982 • 753 citations

The Logic of Time

1983 • 551 citations

A Temporal Logic for Reasoning about Processes and Plans*

1982 • 496 citations

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at …

1986 • 450 citations

Reasoning about change

1991 • 432 citations

Temporal Logic of Programs

1987 • 355 citations

Temporal logics in AI: Semantical and ontological considerations

1987 • 266 citations

A common-sense theory of time

1985 • 265 citations

Reasoning about Digital Circuits

1983 • 233 citations

Qualitative reasoning about physical systems: An introduction

1984 • 205 citations

Instants and Intervals

1972 • 170 citations

A really abstract concurrent model and its temporal logic

1986 • 159 citations

Expressiveness and completeness of an interval tense logic.

1990 • 155 citations

A hardware semantics based on temporal intervals

2006 • 149 citations

Process logic: Expressiveness, decidability, completeness

1982 • 139 citations

An interval logic for higher-level temporal reasoning

1983 • 112 citations

Interval semantics for tense logic: Some remarks

1979 • 101 citations

Propositional dynamic logic of nonregular programs

1983 • 97 citations

Process logic

1979 • 77 citations

The logic of time representation

1987 • 64 citations

Intervals and tenses

1980 • 58 citations

Time, logic and computation

1989 • 49 citations

Descriptively complete process logic

1980 • 46 citations

Axioms for tense logic. II. Time periods.

1982 • 34 citations

A low level language for obtaining decision procedures for classes of temporal logics

1984 • 9 citations