Concepedia

First-order Temporal Logic

First-Order Temporal Logic is a formal logical system that extends first-order predicate logic with temporal operators to reason about quantified propositions over time.

222

Publications

11.1K

Citations

331

Authors

209

Institutions

Publications per year

2017–2026

31

Parents

Publications

222

A temporal logic for reasoning about processes and plans

Drew McDermott · Cognitive Science · 1982 · 760 citations · Full text

, , +14

Synthesis of Communicating Processes from Temporal Logic Specifications

Zohar Manna, Pierre Wolper · ACM Transactions on Programming Languages and Systems · 1984 · 498 citations · Full text

, , +17

A Temporal Logic for Reasoning about Processes and Plans*

Drew McDermott · Cognitive Science · 1982 · 493 citations

, , +12

What Good is Temporal Logic

Leslie Lamport · IFIP Congress · 1983 · 445 citations

, , +14

Default reasoning, nonmonotonic logics, and the frame problem

Steve Hanks, Drew McDermott · National Conference on Artificial Intelligence · 1986 · 265 citations

, , +16

1–5 of 222

Authors

331

  1. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    13 publications · 869 citations

    12

    h-index

  2. MZ
    Michael Zakharyaschev

    Birkbeck, University of London, United Kingdom

    12 publications · 836 citations

    11

    h-index

  3. MF
    Michael Fisher

    University of Liverpool, United Kingdom

    10 publications · 323 citations

    10

    h-index

  4. KE
    Kousha Etessami

    University of Edinburgh, United Kingdom

    7 publications · 494 citations

    7

    h-index

  5. RK
    Roman Kontchakov

    Birkbeck, University of London, United Kingdom

    6 publications · 268 citations

    6

    h-index

1–5 of 331

Institutions

209

  1. University of Liverpool

    Liverpool, United Kingdom

    15 h-index

    36 publications

    1.2K citations

  2. Free University of Bozen-Bolzano

    Bolzano, Italy

    11 h-index

    21 publications

    755 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    13 publications

    423 citations

  4. Imperial College London

    London, United Kingdom

    9 h-index

    12 publications

    617 citations

  5. University of Warsaw

    Warsaw, Poland

    8 h-index

    10 publications

    627 citations

  6. Sapienza University of Rome

    Rome, Italy

    8 h-index

    13 publications

    546 citations

  7. Birkbeck, University of London

    London, United Kingdom

    7 h-index

    13 publications

    676 citations

  8. ETH Zurich

    Zurich, Switzerland

    6 h-index

    16 publications

    1.1K citations

1–8 of 209

Venues

  1. Information and Computation

    9 publications · 623 citations

    9

    h-index

  2. Journal of Logic and Computation

    8 publications · 219 citations

    8

    h-index

  3. Theoretical Computer Science

    6 publications · 192 citations

    6

    h-index

  4. arXiv (Cornell University)

    Repository · 5 publications · 74 citations

    5

    h-index

  5. National Conference on Artificial Intelligence

    Conference · 5 publications · 416 citations

    5

    h-index

1–5