FRINK Linked Data Fragments server

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

• W2018854591 abstract "This is a selective survey and discussion of some of the landmark undecidability results in temporal logic, beginning with Turing's undecidability of the Halting problem which, in retrospect, can be regarded as the historically first undecidability result for a suitable temporal logic over configuration graphs of Turing machines. I will discuss some of the natural habitats of undecidable temporal logics, such as first-order, interval-based and real time temporal logics, as well as some extensions that often lead to undecidability, such as two-dimensional temporal logics and temporal-epistemic logics." @default.
• W2018854591 created "2016-06-24" @default.
• W2018854591 creator A5066665696 @default.
• W2018854591 date "2012-09-01" @default.
• W2018854591 modified "2023-09-26" @default.
• W2018854591 title "Undecidability and Temporal Logic: Some Landmarks from Turing to the Present" @default.
• W2018854591 cites W1485990531 @default.
• W2018854591 cites W1498203978 @default.
• W2018854591 cites W1503647529 @default.
• W2018854591 cites W1503784010 @default.
• W2018854591 cites W1541152994 @default.
• W2018854591 cites W1815093549 @default.
• W2018854591 cites W1885037678 @default.
• W2018854591 cites W1978654873 @default.
• W2018854591 cites W2000916035 @default.
• W2018854591 cites W2004532354 @default.
• W2018854591 cites W2017960715 @default.
• W2018854591 cites W2055092188 @default.
• W2018854591 cites W2058101359 @default.
• W2018854591 cites W207180005 @default.
• W2018854591 cites W2087983477 @default.
• W2018854591 cites W2103976539 @default.
• W2018854591 cites W2123970780 @default.
• W2018854591 cites W2126160338 @default.
• W2018854591 cites W2142614470 @default.
• W2018854591 cites W2150300272 @default.
• W2018854591 cites W2152195143 @default.
• W2018854591 cites W2170352409 @default.
• W2018854591 cites W2610670723 @default.
• W2018854591 doi "https://doi.org/10.1109/time.2012.26" @default.
• W2018854591 hasPublicationYear "2012" @default.
• W2018854591 type Work @default.
• W2018854591 sameAs 2018854591 @default.
• W2018854591 citedByCount "0" @default.
• W2018854591 crossrefType "proceedings-article" @default.
• W2018854591 hasAuthorship W2018854591A5066665696 @default.
• W2018854591 hasConcept C11413529 @default.
• W2018854591 hasConcept C11648818 @default.
• W2018854591 hasConcept C131671149 @default.
• W2018854591 hasConcept C153269930 @default.
• W2018854591 hasConcept C154945302 @default.
• W2018854591 hasConcept C162670838 @default.
• W2018854591 hasConcept C179061269 @default.
• W2018854591 hasConcept C192034797 @default.
• W2018854591 hasConcept C199360897 @default.
• W2018854591 hasConcept C25016198 @default.
• W2018854591 hasConcept C29248071 @default.
• W2018854591 hasConcept C41008148 @default.
• W2018854591 hasConcept C42011625 @default.
• W2018854591 hasConcept C45374587 @default.
• W2018854591 hasConcept C4777664 @default.
• W2018854591 hasConcept C5263885 @default.
• W2018854591 hasConcept C58166 @default.
• W2018854591 hasConcept C80444323 @default.
• W2018854591 hasConcept C86602344 @default.
• W2018854591 hasConcept C9870796 @default.
• W2018854591 hasConceptScore W2018854591C11413529 @default.
• W2018854591 hasConceptScore W2018854591C11648818 @default.
• W2018854591 hasConceptScore W2018854591C131671149 @default.
• W2018854591 hasConceptScore W2018854591C153269930 @default.
• W2018854591 hasConceptScore W2018854591C154945302 @default.
• W2018854591 hasConceptScore W2018854591C162670838 @default.
• W2018854591 hasConceptScore W2018854591C179061269 @default.
• W2018854591 hasConceptScore W2018854591C192034797 @default.
• W2018854591 hasConceptScore W2018854591C199360897 @default.
• W2018854591 hasConceptScore W2018854591C25016198 @default.
• W2018854591 hasConceptScore W2018854591C29248071 @default.
• W2018854591 hasConceptScore W2018854591C41008148 @default.
• W2018854591 hasConceptScore W2018854591C42011625 @default.
• W2018854591 hasConceptScore W2018854591C45374587 @default.
• W2018854591 hasConceptScore W2018854591C4777664 @default.
• W2018854591 hasConceptScore W2018854591C5263885 @default.
• W2018854591 hasConceptScore W2018854591C58166 @default.
• W2018854591 hasConceptScore W2018854591C80444323 @default.
• W2018854591 hasConceptScore W2018854591C86602344 @default.
• W2018854591 hasConceptScore W2018854591C9870796 @default.
• W2018854591 hasLocation W20188545911 @default.
• W2018854591 hasOpenAccess W2018854591 @default.
• W2018854591 hasPrimaryLocation W20188545911 @default.
• W2018854591 hasRelatedWork W13104911 @default.
• W2018854591 hasRelatedWork W1572953660 @default.
• W2018854591 hasRelatedWork W1975710334 @default.
• W2018854591 hasRelatedWork W2011052902 @default.
• W2018854591 hasRelatedWork W2014322692 @default.
• W2018854591 hasRelatedWork W2017112542 @default.
• W2018854591 hasRelatedWork W2018216922 @default.
• W2018854591 hasRelatedWork W2045554431 @default.
• W2018854591 hasRelatedWork W2066800627 @default.
• W2018854591 hasRelatedWork W2132195695 @default.
• W2018854591 hasRelatedWork W2150300272 @default.
• W2018854591 hasRelatedWork W2152195143 @default.
• W2018854591 hasRelatedWork W2157064837 @default.
• W2018854591 hasRelatedWork W2167907675 @default.
• W2018854591 hasRelatedWork W2245221074 @default.
• W2018854591 hasRelatedWork W2252902320 @default.
• W2018854591 hasRelatedWork W2257030466 @default.
• W2018854591 hasRelatedWork W2518211214 @default.
• W2018854591 hasRelatedWork W2922221412 @default.
• W2018854591 hasRelatedWork W3123793150 @default.
• W2018854591 isParatext "false" @default.

• next