Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080461902> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2080461902 endingPage "213" @default.
- W2080461902 startingPage "201" @default.
- W2080461902 abstract "The satisfiability problems for CTL and CTL⋆ are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional operators, the complexity may decrease. This paper undertakes a systematic study of satisfiability for CTL- and CTL⋆-formulae over restricted sets of propositional and temporal operators. We show that restricting the temporal operators yields satisfiability problems complete for 2EXPTIME, EXPTIME, PSPACE, and NP. Restricting the propositional operators either does not change the complexity (as determined by the temporal operators), or yields very low complexity like NC1, TC0, or NLOGTIME." @default.
- W2080461902 created "2016-06-24" @default.
- W2080461902 creator A5008982209 @default.
- W2080461902 creator A5025571978 @default.
- W2080461902 creator A5047184663 @default.
- W2080461902 creator A5081736632 @default.
- W2080461902 date "2008-12-01" @default.
- W2080461902 modified "2023-09-25" @default.
- W2080461902 title "The Complexity of Satisfiability for Fragments of CTL and CTL⋆" @default.
- W2080461902 cites W1992762998 @default.
- W2080461902 cites W1996820391 @default.
- W2080461902 cites W1997129529 @default.
- W2080461902 cites W2003227046 @default.
- W2080461902 cites W2027418885 @default.
- W2080461902 cites W2036265926 @default.
- W2080461902 cites W2069709605 @default.
- W2080461902 cites W2073491323 @default.
- W2080461902 cites W2082723133 @default.
- W2080461902 cites W2117189826 @default.
- W2080461902 doi "https://doi.org/10.1016/j.entcs.2008.12.040" @default.
- W2080461902 hasPublicationYear "2008" @default.
- W2080461902 type Work @default.
- W2080461902 sameAs 2080461902 @default.
- W2080461902 citedByCount "16" @default.
- W2080461902 countsByYear W20804619022012 @default.
- W2080461902 countsByYear W20804619022013 @default.
- W2080461902 countsByYear W20804619022015 @default.
- W2080461902 countsByYear W20804619022016 @default.
- W2080461902 countsByYear W20804619022017 @default.
- W2080461902 countsByYear W20804619022019 @default.
- W2080461902 countsByYear W20804619022020 @default.
- W2080461902 countsByYear W20804619022021 @default.
- W2080461902 countsByYear W20804619022022 @default.
- W2080461902 crossrefType "journal-article" @default.
- W2080461902 hasAuthorship W2080461902A5008982209 @default.
- W2080461902 hasAuthorship W2080461902A5025571978 @default.
- W2080461902 hasAuthorship W2080461902A5047184663 @default.
- W2080461902 hasAuthorship W2080461902A5081736632 @default.
- W2080461902 hasBestOaLocation W20804619021 @default.
- W2080461902 hasConcept C11413529 @default.
- W2080461902 hasConcept C118615104 @default.
- W2080461902 hasConcept C147969180 @default.
- W2080461902 hasConcept C154317977 @default.
- W2080461902 hasConcept C168773769 @default.
- W2080461902 hasConcept C179799912 @default.
- W2080461902 hasConcept C185592680 @default.
- W2080461902 hasConcept C197685441 @default.
- W2080461902 hasConcept C198008173 @default.
- W2080461902 hasConcept C202751555 @default.
- W2080461902 hasConcept C25016198 @default.
- W2080461902 hasConcept C33923547 @default.
- W2080461902 hasConcept C41008148 @default.
- W2080461902 hasConcept C55493867 @default.
- W2080461902 hasConcept C56049555 @default.
- W2080461902 hasConcept C6943359 @default.
- W2080461902 hasConcept C80444323 @default.
- W2080461902 hasConceptScore W2080461902C11413529 @default.
- W2080461902 hasConceptScore W2080461902C118615104 @default.
- W2080461902 hasConceptScore W2080461902C147969180 @default.
- W2080461902 hasConceptScore W2080461902C154317977 @default.
- W2080461902 hasConceptScore W2080461902C168773769 @default.
- W2080461902 hasConceptScore W2080461902C179799912 @default.
- W2080461902 hasConceptScore W2080461902C185592680 @default.
- W2080461902 hasConceptScore W2080461902C197685441 @default.
- W2080461902 hasConceptScore W2080461902C198008173 @default.
- W2080461902 hasConceptScore W2080461902C202751555 @default.
- W2080461902 hasConceptScore W2080461902C25016198 @default.
- W2080461902 hasConceptScore W2080461902C33923547 @default.
- W2080461902 hasConceptScore W2080461902C41008148 @default.
- W2080461902 hasConceptScore W2080461902C55493867 @default.
- W2080461902 hasConceptScore W2080461902C56049555 @default.
- W2080461902 hasConceptScore W2080461902C6943359 @default.
- W2080461902 hasConceptScore W2080461902C80444323 @default.
- W2080461902 hasLocation W20804619021 @default.
- W2080461902 hasLocation W20804619022 @default.
- W2080461902 hasLocation W20804619023 @default.
- W2080461902 hasOpenAccess W2080461902 @default.
- W2080461902 hasPrimaryLocation W20804619021 @default.
- W2080461902 hasRelatedWork W1543261728 @default.
- W2080461902 hasRelatedWork W1559342273 @default.
- W2080461902 hasRelatedWork W2005507875 @default.
- W2080461902 hasRelatedWork W2028860036 @default.
- W2080461902 hasRelatedWork W2060622649 @default.
- W2080461902 hasRelatedWork W2080461902 @default.
- W2080461902 hasRelatedWork W2404089326 @default.
- W2080461902 hasRelatedWork W2739847400 @default.
- W2080461902 hasRelatedWork W3037249291 @default.
- W2080461902 hasRelatedWork W925486019 @default.
- W2080461902 hasVolume "223" @default.
- W2080461902 isParatext "false" @default.
- W2080461902 isRetracted "false" @default.
- W2080461902 magId "2080461902" @default.
- W2080461902 workType "article" @default.