Expressiveness

Expressiveness is the capacity of a temporal logic to represent and distinguish a range of temporal properties or behaviors, differentiated by the breadth and precision of temporal patterns it can formally specify relative to other temporal logics.

1.2K

Publications

84.8K

Citations

3.2K

Authors

1K

Institutions

Publications per year

2017–2026

289

Authors

3.2K

  1. RP
    Raymond P. Perry

    University of Manitoba, Canada

    9 publications · 398 citations

    9

    h-index

  2. AM
    Angelo Montanari

    University of Udine, Italy

    7 publications · 175 citations

    7

    h-index

  3. AG
    Amy G. Halberstadt

    North Carolina State University, United States

    7 publications · 760 citations

    7

    h-index

  4. HS
    Howard S. Frıedman

    University of California, Riverside, United States

    6 publications · 757 citations

    6

    h-index

  5. PW
    Pamela W. Garner

    George Mason University, United States

    5 publications · 356 citations

    5

    h-index

1–5 of 3.2K

Venues

  1. arXiv (Cornell University)

    Repository · 34 publications · 2.6K citations

    20

    h-index

  2. Journal of Personality and Social Psychology

    16 publications · 9.4K citations

    16

    h-index

  3. Child Development

    14 publications · 3.5K citations

    13

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 14 publications · 387 citations

    12

    h-index

  5. Information and Computation

    11 publications · 659 citations

    11

    h-index

1–5