Concepedia

Temporal Logic Reasoning

Temporal Logic Reasoning is a formal method of automated reasoning that extends propositional or predicate logic with temporal operators to represent and deduce properties of systems evolving over time, distinguished by its explicit modeling of temporal dependencies and sequences of states.

596

Publications

36.7K

Citations

1K

Authors

427

Institutions

Publications per year

2017–2026

112

Parents

Publications

596

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

, , +14

A temporal logic for reasoning about processes and plans

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

, , +14

Temporal-Logic-Based Reactive Mission and Motion Planning

Hadas Kress‐Gazit, Georgios Fainekos, George J. Pappas · IEEE Transactions on Robotics · 2009 · 756 citations

, , +14

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

, , +12

1–5 of 596

Authors

1K

  1. CB
    Călin Belta

    Boston University, United States

    30 publications · 2.4K citations

    21

    h-index

  2. MF
    Michael Fisher

    University of Liverpool, United Kingdom

    13 publications · 460 citations

    12

    h-index

  3. WJ
    Wojciech Jamroga

    Clausthal University of Technology, Germany

    11 publications · 627 citations

    11

    h-index

  4. GF
    Georgios Fainekos

    Arizona State University, United States

    11 publications · 1.9K citations

    11

    h-index

  5. WV
    Wiebe van der Hoek

    University of Liverpool, United Kingdom

    10 publications · 637 citations

    10

    h-index

1–5 of 1K

Institutions

427

  1. Boston University

    Boston, United States

    18 h-index

    55 publications

    4.3K citations

  2. University of Liverpool

    Liverpool, United Kingdom

    16 h-index

    42 publications

    1.6K citations

  3. University of Pennsylvania

    Philadelphia, United States

    12 h-index

    26 publications

    10.3K citations

  4. Stanford University

    Stanford, United States

    12 h-index

    23 publications

    1.1K citations

  5. Linköping University

    Linköping, Sweden

    12 h-index

    28 publications

    941 citations

  6. Imperial College London

    London, United Kingdom

    11 h-index

    19 publications

    798 citations

  7. University of Toronto

    Toronto, Canada

    11 h-index

    20 publications

    1.7K citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    11 h-index

    21 publications

    1.2K citations

1–8 of 427

Venues

  1. Journal of Logic and Computation

    14 publications · 814 citations

    12

    h-index

  2. International Joint Conference on Artificial Intelligence

    Conference · 10 publications · 503 citations

    10

    h-index

  3. Artificial Intelligence

    10 publications · 1.3K citations

    10

    h-index

  4. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 11 publications · 279 citations

    10

    h-index

  5. Journal of Artificial Intelligence Research

    JAIR · 9 publications · 588 citations

    9

    h-index

1–5