FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W946220898> ?p ?o ?g. }

• W946220898 abstract "We present an introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how processes change their environments. We begin by introducing the historical development of temporal and dynamic logic, starting with the seminal work of Prior. This leads to a discussion of the use of temporal and dynamic logic in computer science. We describe three key formalisms used in computer science for reasoning about programs (LTL, CTL, and PDL), and illustrate how these formalisms may be used in the formal specification and verification of computer systems. We then discuss interval temporal logics. We conclude with some pointers for further reading." @default.
• W946220898 created "2016-06-24" @default.
• W946220898 creator A5010967150 @default.
• W946220898 creator A5065393757 @default.
• W946220898 date "2010-01-01" @default.
• W946220898 modified "2023-09-27" @default.
• W946220898 title "Temporal and Dynamic Logic" @default.
• W946220898 cites W104477597 @default.
• W946220898 cites W1482831113 @default.
• W946220898 cites W1488267121 @default.
• W946220898 cites W1489227129 @default.
• W946220898 cites W1510836926 @default.
• W946220898 cites W1523903952 @default.
• W946220898 cites W1539868891 @default.
• W946220898 cites W1542111937 @default.
• W946220898 cites W1549008998 @default.
• W946220898 cites W1566551935 @default.
• W946220898 cites W1567084588 @default.
• W946220898 cites W1567452806 @default.
• W946220898 cites W1572953660 @default.
• W946220898 cites W1574019729 @default.
• W946220898 cites W1612453857 @default.
• W946220898 cites W1612934218 @default.
• W946220898 cites W1978654873 @default.
• W946220898 cites W1996365374 @default.
• W946220898 cites W2003227046 @default.
• W946220898 cites W2004306067 @default.
• W946220898 cites W2004532354 @default.
• W946220898 cites W2023808162 @default.
• W946220898 cites W2030926579 @default.
• W946220898 cites W2069709605 @default.
• W946220898 cites W2084910510 @default.
• W946220898 cites W2098171268 @default.
• W946220898 cites W2131159347 @default.
• W946220898 cites W2154938325 @default.
• W946220898 cites W2157319504 @default.
• W946220898 cites W2161484642 @default.
• W946220898 cites W2319388297 @default.
• W946220898 cites W2336123333 @default.
• W946220898 cites W2402129636 @default.
• W946220898 cites W2806619258 @default.
• W946220898 cites W2912179667 @default.
• W946220898 cites W90476980 @default.
• W946220898 cites W27674074 @default.
• W946220898 hasPublicationYear "2010" @default.
• W946220898 type Work @default.
• W946220898 sameAs 946220898 @default.
• W946220898 citedByCount "8" @default.
• W946220898 countsByYear W9462208982013 @default.
• W946220898 countsByYear W9462208982014 @default.
• W946220898 countsByYear W9462208982015 @default.
• W946220898 countsByYear W9462208982019 @default.
• W946220898 crossrefType "journal-article" @default.
• W946220898 hasAuthorship W946220898A5010967150 @default.
• W946220898 hasAuthorship W946220898A5065393757 @default.
• W946220898 hasConcept C102993220 @default.
• W946220898 hasConcept C110251889 @default.
• W946220898 hasConcept C11648818 @default.
• W946220898 hasConcept C121332964 @default.
• W946220898 hasConcept C162670838 @default.
• W946220898 hasConcept C165801399 @default.
• W946220898 hasConcept C171018156 @default.
• W946220898 hasConcept C172385210 @default.
• W946220898 hasConcept C198008173 @default.
• W946220898 hasConcept C199360897 @default.
• W946220898 hasConcept C25016198 @default.
• W946220898 hasConcept C2524010 @default.
• W946220898 hasConcept C2777796570 @default.
• W946220898 hasConcept C33923547 @default.
• W946220898 hasConcept C41008148 @default.
• W946220898 hasConcept C4777664 @default.
• W946220898 hasConcept C62520636 @default.
• W946220898 hasConcept C80444323 @default.
• W946220898 hasConceptScore W946220898C102993220 @default.
• W946220898 hasConceptScore W946220898C110251889 @default.
• W946220898 hasConceptScore W946220898C11648818 @default.
• W946220898 hasConceptScore W946220898C121332964 @default.
• W946220898 hasConceptScore W946220898C162670838 @default.
• W946220898 hasConceptScore W946220898C165801399 @default.
• W946220898 hasConceptScore W946220898C171018156 @default.
• W946220898 hasConceptScore W946220898C172385210 @default.
• W946220898 hasConceptScore W946220898C198008173 @default.
• W946220898 hasConceptScore W946220898C199360897 @default.
• W946220898 hasConceptScore W946220898C25016198 @default.
• W946220898 hasConceptScore W946220898C2524010 @default.
• W946220898 hasConceptScore W946220898C2777796570 @default.
• W946220898 hasConceptScore W946220898C33923547 @default.
• W946220898 hasConceptScore W946220898C41008148 @default.
• W946220898 hasConceptScore W946220898C4777664 @default.
• W946220898 hasConceptScore W946220898C62520636 @default.
• W946220898 hasConceptScore W946220898C80444323 @default.
• W946220898 hasLocation W9462208981 @default.
• W946220898 hasOpenAccess W946220898 @default.
• W946220898 hasPrimaryLocation W9462208981 @default.
• W946220898 hasRelatedWork W1516892340 @default.
• W946220898 hasRelatedWork W1522399968 @default.
• W946220898 hasRelatedWork W1572346004 @default.
• W946220898 hasRelatedWork W159213017 @default.
• W946220898 hasRelatedWork W1603255212 @default.
• W946220898 hasRelatedWork W1998017916 @default.

• next