Matches in SemOpenAlex for { <https://semopenalex.org/work/W1603255212> ?p ?o ?g. }
- W1603255212 endingPage "720" @default.
- W1603255212 startingPage "655" @default.
- W1603255212 abstract "Temporal logic is one of the classic branches of modal logic. It is remarkably fruitful in the issues it has raised, the results it has given rise to, and as an applied tool. This chapter focuses on the key issues related to temporal logic and examines some topics in temporal logic that are considered both in computer science and in other fields. A basic round-up of the semantic options for handling time is describes and some logics (syntax and evaluation) that can be used are explained. The expressivity of classical and modal-style logics is compared. Kamp's famous 1968 expressive completeness theorem, the temporal reasoning, tableaux, resolution, filtration- and the finite model property, and other methods are discussed. Temporal logics come in many forms and that motivations from computing or linguistic applications and philosophical, theoretical or mathematical interests have driven temporal logic research in many disparate directions. The structures supporting varying granularity of focus and the options when propositions depend on several time points are considered." @default.
- W1603255212 created "2016-06-24" @default.
- W1603255212 creator A5036930915 @default.
- W1603255212 creator A5076274772 @default.
- W1603255212 date "2007-01-01" @default.
- W1603255212 modified "2023-10-02" @default.
- W1603255212 title "11 Temporal logic" @default.
- W1603255212 cites W1491593738 @default.
- W1603255212 cites W1508184538 @default.
- W1603255212 cites W1520981400 @default.
- W1603255212 cites W1594660938 @default.
- W1603255212 cites W1755189310 @default.
- W1603255212 cites W1823940342 @default.
- W1603255212 cites W1965449504 @default.
- W1603255212 cites W1965973058 @default.
- W1603255212 cites W1978869519 @default.
- W1603255212 cites W1980256915 @default.
- W1603255212 cites W1981561399 @default.
- W1603255212 cites W1981741900 @default.
- W1603255212 cites W1983745898 @default.
- W1603255212 cites W1985336354 @default.
- W1603255212 cites W1990609140 @default.
- W1603255212 cites W1990865424 @default.
- W1603255212 cites W1995500085 @default.
- W1603255212 cites W1996723544 @default.
- W1603255212 cites W1999942765 @default.
- W1603255212 cites W2002262052 @default.
- W1603255212 cites W2003227046 @default.
- W1603255212 cites W2004306067 @default.
- W1603255212 cites W2008960163 @default.
- W1603255212 cites W2011132281 @default.
- W1603255212 cites W2012270584 @default.
- W1603255212 cites W2014832312 @default.
- W1603255212 cites W2015217647 @default.
- W1603255212 cites W2017960715 @default.
- W1603255212 cites W2021704447 @default.
- W1603255212 cites W2023251419 @default.
- W1603255212 cites W2027456138 @default.
- W1603255212 cites W2028942690 @default.
- W1603255212 cites W2029709385 @default.
- W1603255212 cites W2036472753 @default.
- W1603255212 cites W2039977878 @default.
- W1603255212 cites W2040022302 @default.
- W1603255212 cites W2043855341 @default.
- W1603255212 cites W2044042372 @default.
- W1603255212 cites W2045554431 @default.
- W1603255212 cites W2047294512 @default.
- W1603255212 cites W2048355938 @default.
- W1603255212 cites W2048905609 @default.
- W1603255212 cites W2049128357 @default.
- W1603255212 cites W2050398281 @default.
- W1603255212 cites W2055092188 @default.
- W1603255212 cites W2056039757 @default.
- W1603255212 cites W2057354456 @default.
- W1603255212 cites W2057934303 @default.
- W1603255212 cites W2058832382 @default.
- W1603255212 cites W2059221592 @default.
- W1603255212 cites W2062792526 @default.
- W1603255212 cites W2062867651 @default.
- W1603255212 cites W2065265012 @default.
- W1603255212 cites W2067441543 @default.
- W1603255212 cites W2072887965 @default.
- W1603255212 cites W2074899782 @default.
- W1603255212 cites W2075766564 @default.
- W1603255212 cites W2083392683 @default.
- W1603255212 cites W2083732130 @default.
- W1603255212 cites W2084062141 @default.
- W1603255212 cites W2087125280 @default.
- W1603255212 cites W2088312079 @default.
- W1603255212 cites W2090731055 @default.
- W1603255212 cites W2092486735 @default.
- W1603255212 cites W2093270475 @default.
- W1603255212 cites W2094912129 @default.
- W1603255212 cites W2099799091 @default.
- W1603255212 cites W2100738443 @default.
- W1603255212 cites W2111082593 @default.
- W1603255212 cites W2111376785 @default.
- W1603255212 cites W2118675357 @default.
- W1603255212 cites W2122540544 @default.
- W1603255212 cites W2123970780 @default.
- W1603255212 cites W2127383193 @default.
- W1603255212 cites W2131225255 @default.
- W1603255212 cites W2143434754 @default.
- W1603255212 cites W2153737593 @default.
- W1603255212 cites W2155314032 @default.
- W1603255212 cites W2160171357 @default.
- W1603255212 cites W2160254449 @default.
- W1603255212 cites W2161484642 @default.
- W1603255212 cites W2167467151 @default.
- W1603255212 cites W2175748456 @default.
- W1603255212 cites W226876970 @default.
- W1603255212 cites W4234687429 @default.
- W1603255212 cites W4238292764 @default.
- W1603255212 cites W4244421355 @default.
- W1603255212 cites W43165543 @default.
- W1603255212 doi "https://doi.org/10.1016/s1570-2464(07)80014-0" @default.
- W1603255212 hasPublicationYear "2007" @default.
- W1603255212 type Work @default.