FRINK Linked Data Fragments server

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

• W3203357139 endingPage "104804" @default.
• W3203357139 startingPage "104804" @default.
• W3203357139 abstract "We introduce extensions of the standard temporal logics CTL and LTL with a recursion operator that takes propositional arguments, thus obtaining logics that retain some of the appealing pragmatic advantages of CTL and LTL, yet have expressive power beyond that of the modal μ-calculus or MSO. We show how the recursion operator can be used to express interesting non-regular properties. We also study decidability and complexity issues of the standard decision problems." @default.
• W3203357139 created "2021-10-11" @default.
• W3203357139 creator A5065538455 @default.
• W3203357139 creator A5087768042 @default.
• W3203357139 date "2021-12-01" @default.
• W3203357139 modified "2023-10-16" @default.
• W3203357139 title "Temporal logic with recursion" @default.
• W3203357139 cites W1968086929 @default.
• W3203357139 cites W1972478730 @default.
• W3203357139 cites W1974572624 @default.
• W3203357139 cites W1975657455 @default.
• W3203357139 cites W1987290139 @default.
• W3203357139 cites W2003227046 @default.
• W3203357139 cites W2004306067 @default.
• W3203357139 cites W2005998857 @default.
• W3203357139 cites W2015640848 @default.
• W3203357139 cites W2015688007 @default.
• W3203357139 cites W2026629052 @default.
• W3203357139 cites W2030263557 @default.
• W3203357139 cites W2048355938 @default.
• W3203357139 cites W2050530663 @default.
• W3203357139 cites W2061141623 @default.
• W3203357139 cites W2062879749 @default.
• W3203357139 cites W2067441543 @default.
• W3203357139 cites W2069709605 @default.
• W3203357139 cites W2094912129 @default.
• W3203357139 cites W2112476716 @default.
• W3203357139 cites W2145394419 @default.
• W3203357139 cites W2806619258 @default.
• W3203357139 cites W3102693153 @default.
• W3203357139 doi "https://doi.org/10.1016/j.ic.2021.104804" @default.
• W3203357139 hasPublicationYear "2021" @default.
• W3203357139 type Work @default.
• W3203357139 sameAs 3203357139 @default.
• W3203357139 citedByCount "0" @default.
• W3203357139 crossrefType "journal-article" @default.
• W3203357139 hasAuthorship W3203357139A5065538455 @default.
• W3203357139 hasAuthorship W3203357139A5087768042 @default.
• W3203357139 hasConcept C102993220 @default.
• W3203357139 hasConcept C104317684 @default.
• W3203357139 hasConcept C110251889 @default.
• W3203357139 hasConcept C121332964 @default.
• W3203357139 hasConcept C147969180 @default.
• W3203357139 hasConcept C153269930 @default.
• W3203357139 hasConcept C154317977 @default.
• W3203357139 hasConcept C158448853 @default.
• W3203357139 hasConcept C165801399 @default.
• W3203357139 hasConcept C168773036 @default.
• W3203357139 hasConcept C17020691 @default.
• W3203357139 hasConcept C172385210 @default.
• W3203357139 hasConcept C185592680 @default.
• W3203357139 hasConcept C188027245 @default.
• W3203357139 hasConcept C195818886 @default.
• W3203357139 hasConcept C198008173 @default.
• W3203357139 hasConcept C199343813 @default.
• W3203357139 hasConcept C199360897 @default.
• W3203357139 hasConcept C202751555 @default.
• W3203357139 hasConcept C203659156 @default.
• W3203357139 hasConcept C25016198 @default.
• W3203357139 hasConcept C27508121 @default.
• W3203357139 hasConcept C2777686260 @default.
• W3203357139 hasConcept C2777796570 @default.
• W3203357139 hasConcept C33923547 @default.
• W3203357139 hasConcept C41008148 @default.
• W3203357139 hasConcept C4777664 @default.
• W3203357139 hasConcept C55493867 @default.
• W3203357139 hasConcept C62520636 @default.
• W3203357139 hasConcept C71139939 @default.
• W3203357139 hasConcept C71924100 @default.
• W3203357139 hasConcept C78344899 @default.
• W3203357139 hasConcept C80444323 @default.
• W3203357139 hasConcept C86339819 @default.
• W3203357139 hasConceptScore W3203357139C102993220 @default.
• W3203357139 hasConceptScore W3203357139C104317684 @default.
• W3203357139 hasConceptScore W3203357139C110251889 @default.
• W3203357139 hasConceptScore W3203357139C121332964 @default.
• W3203357139 hasConceptScore W3203357139C147969180 @default.
• W3203357139 hasConceptScore W3203357139C153269930 @default.
• W3203357139 hasConceptScore W3203357139C154317977 @default.
• W3203357139 hasConceptScore W3203357139C158448853 @default.
• W3203357139 hasConceptScore W3203357139C165801399 @default.
• W3203357139 hasConceptScore W3203357139C168773036 @default.
• W3203357139 hasConceptScore W3203357139C17020691 @default.
• W3203357139 hasConceptScore W3203357139C172385210 @default.
• W3203357139 hasConceptScore W3203357139C185592680 @default.
• W3203357139 hasConceptScore W3203357139C188027245 @default.
• W3203357139 hasConceptScore W3203357139C195818886 @default.
• W3203357139 hasConceptScore W3203357139C198008173 @default.
• W3203357139 hasConceptScore W3203357139C199343813 @default.
• W3203357139 hasConceptScore W3203357139C199360897 @default.
• W3203357139 hasConceptScore W3203357139C202751555 @default.
• W3203357139 hasConceptScore W3203357139C203659156 @default.
• W3203357139 hasConceptScore W3203357139C25016198 @default.
• W3203357139 hasConceptScore W3203357139C27508121 @default.
• W3203357139 hasConceptScore W3203357139C2777686260 @default.
• W3203357139 hasConceptScore W3203357139C2777796570 @default.
• W3203357139 hasConceptScore W3203357139C33923547 @default.
• W3203357139 hasConceptScore W3203357139C41008148 @default.

• next