Concepedia

Propositional Temporal Logic

Propositional Temporal Logic is a formal system of temporal logic that extends classical propositional logic by incorporating temporal operators to reason about the truth of propositions over time, specifically distinguishing itself through the absence of quantification over variables or predicates.

164

Publications

13.7K

Citations

278

Authors

148

Institutions

Publications per year

2017–2026

13

Parents

Publications

164

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 complexity of propositional linear temporal logics

A. Prasad Sistla, E. M. Clarke · Journal of the ACM · 1985 · 1.1K citations · Full text

, , +12

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 824 citations

, , +16

A propositional modal logic of time intervals

Joseph Y. Halpern, Yoav Shoham · Journal of the ACM · 1991 · 444 citations

, , +8

Linear temporal logic and linear dynamic logic on finite traces

Giuseppe De Giacomo, Moshe Y. Vardi · Rice Digital Scholarship Archive (Rice University) · 2013 · 432 citations · Full text

, , +15

1–5 of 164

Authors

278

  1. ZD
    Zhenhua Duan

    Hezhou University, China

    11 publications · 357 citations

    10

    h-index

  2. CT
    Cong Tian

    Xidian University, China

    9 publications · 353 citations

    9

    h-index

  3. AM
    Angelo Montanari

    University of Udine, Italy

    8 publications · 327 citations

    8

    h-index

  4. GS
    Guido Sciavicco

    Universidad de Murcia, Spain

    7 publications · 304 citations

    7

    h-index

  5. MF
    Michael Fisher

    University of Liverpool, United Kingdom

    7 publications · 328 citations

    7

    h-index

1–5 of 278

Institutions

148

  1. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    21 publications

    7.4K citations

  2. Xidian University

    Xi'an, China

    10 h-index

    34 publications

    1.1K citations

  3. University of Liverpool

    Liverpool, United Kingdom

    8 h-index

    15 publications

    564 citations

  4. University of Udine

    Udine, Italy

    8 h-index

    14 publications

    637 citations

  5. University of Verona

    Verona, Italy

    5 h-index

    5 publications

    74 citations

  6. The University of Texas at Austin

    Austin, United States

    5 h-index

    6 publications

    5K citations

  7. Weizmann Institute of Science

    Rehovot, Israel

    5 h-index

    12 publications

    1.3K citations

  8. University of Manchester

    Manchester, United Kingdom

    5 h-index

    6 publications

    497 citations

1–8 of 148

Venues

  1. Theoretical Computer Science

    8 publications · 718 citations

    8

    h-index

  2. Journal of Logic and Computation

    5 publications · 312 citations

    5

    h-index

  3. Journal of Applied Non-Classical Logics

    JANCL · 5 publications · 211 citations

    5

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 58 citations

    4

    h-index

  5. Logic Journal of IGPL

    3 publications · 155 citations

    3

    h-index

1–5