Concepedia

Extension Clauses

Extension Clauses is a formal syntactic construct in temporal logic that specifies permissible expansions of time intervals within a defined temporal scope, distinguishing it from static or fixed-bound temporal expressions by explicitly governing how and when temporal boundaries may be extended.

4

Publications

86

Citations

5

Authors

3

Institutions

Publications per year

2017–2026

0

Parents

Publications

4

1–4 of 4

Authors

5

  1. LH
    Lloyd Humberstone

    Monash University, Australia

    1 publications · 15 citations

    1

    h-index

  2. BM
    Barbara Morawska

    Technische Universität Dresden, Germany

    1 publications · 33 citations

    1

    h-index

  3. AP
    Arthur Pap

    Yale University, United States

    1 publications · 17 citations

    1

    h-index

  4. LH
    Lin Hai

    Jilin University, China

    1 publications · 21 citations

    1

    h-index

  5. CS
    Christopher S. Lynch

    University of California, Los Angeles, United States

    1 publications · 33 citations

    1

    h-index

1–5 of 5

Institutions

3

  1. Clarkson University

    Potsdam, United States

    1 h-index

    2 publications

    66 citations

  2. Jilin University

    Changchun, China

    1 h-index

    2 publications

    42 citations

  3. Monash University

    Melbourne, Australia

    1 h-index

    1 publications

    15 citations

1–3 of 3

Venues

  1. Journal of Automated Reasoning

    1 publications · 21 citations

    1

    h-index

  2. 1

    h-index

  3. Journal of Philosophical Logic

    1 publications · 15 citations

    1

    h-index

1–3