Concepedia

Temporal Logic

Temporal Logic is a formal system of logic that extends classical propositional or predicate logic by incorporating temporal operators to represent and reason about propositions qualified in time, thereby enabling the expression of dynamic properties such as precedence, concurrency, and liveness in evolving systems.

6.3K

Publications

354.9K

Citations

7.9K

Authors

1.9K

Institutions

Publications per year

2017–2026

797

Parents

Children

Publications

6.3K

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

, , +9

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

, , +16

The Description Logic Handbook – Theory, Implementation and Applications

C.J.H. Mann · Kybernetes · 2003 · 2.2K citations

, , +12

Temporal constraint networks

Rina Dechter, Itay Meiri, Judea Pearl · Artificial Intelligence · 1991 · 1.8K citations

, , +14

1–5 of 6.3K

Authors

7.9K

  1. CB
    Călin Belta

    Boston University, United States

    99 publications · 5.2K citations

    37

    h-index

  2. MY
    Moshe Y. Vardi

    Rice University, United States

    52 publications · 5.3K citations

    33

    h-index

  3. GF
    Georgios Fainekos

    Arizona State University, United States

    40 publications · 4K citations

    26

    h-index

  4. UT
    Ufuk Topcu

    The University of Texas at Austin, United States

    46 publications · 2.9K citations

    26

    h-index

  5. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    35 publications · 12.1K citations

    25

    h-index

1–5 of 7.9K

Institutions

1.9K

  1. Stanford University

    Stanford, United States

    52 h-index

    179 publications

    34.1K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    49 h-index

    320 publications

    16.3K citations

  3. University of Pennsylvania

    Philadelphia, United States

    40 h-index

    136 publications

    22.8K citations

  4. University of California, Berkeley

    Berkeley, United States

    40 h-index

    154 publications

    15.1K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    37 h-index

    127 publications

    21.7K citations

  6. Boston University

    Boston, United States

    37 h-index

    201 publications

    10.9K citations

  7. University of Toronto

    Toronto, Canada

    35 h-index

    127 publications

    9.7K citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    35 h-index

    155 publications

    8.5K citations

1–8 of 1.9K

Venues

  1. Artificial Intelligence

    97 publications · 12.5K citations

    51

    h-index

  2. Theoretical Computer Science

    141 publications · 15.6K citations

    48

    h-index

  3. Information and Computation

    69 publications · 5K citations

    33

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 99 publications · 3.8K citations

    32

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 55 publications · 5.5K citations

    31

    h-index

1–5