Abstract | ||
---|---|---|
This paper surveys main and recent developments on temporal logics in a broad
sense by presenting various formal systems dealing with various time
structures, and discussing important features, such as (un)decidability
results, expressiveness and axiomatization systems. |
Year | Venue | Keywords |
---|---|---|
2010 | Clinical Orthopaedics and Related Research | temporal logic |
Field | DocType | Volume |
Interval temporal logic,Computer science,Multimodal logic,Algorithm,Description logic,Decidability,Dynamic logic (modal logic),Expressivity | Journal | abs/1005.3 |
ISSN | Citations | PageRank |
Frontiers of Computer Science 7(3): 370-403 (2013) | 3 | 0.36 |
References | Authors | |
110 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Savas Konur | 1 | 131 | 13.40 |