Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487215098> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2487215098 endingPage "388" @default.
- W2487215098 startingPage "373" @default.
- W2487215098 abstract "PPDL det extends propositional dynamic logic (PDL) with parallel composition of programs. This new construct has separation semantics: to execute the parallel program $$(alpha ,||,beta )$$ the initial state is separated into two substates and the programs $$alpha $$ and $$beta $$ are executed on these substates. By adapting the elimination of Hintikka sets procedure, we provide a decision procedure for the satisfiability problem of PPDL det. We prove that this decision procedure can be executed in deterministic exponential time, hence that the satisfiability problem of PPDL det is EXPTIME-complete." @default.
- W2487215098 created "2016-08-23" @default.
- W2487215098 creator A5010017295 @default.
- W2487215098 date "2016-01-01" @default.
- W2487215098 modified "2023-10-10" @default.
- W2487215098 title "Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition" @default.
- W2487215098 cites W1478819493 @default.
- W2487215098 cites W1486095773 @default.
- W2487215098 cites W1509862761 @default.
- W2487215098 cites W1556384599 @default.
- W2487215098 cites W1591716390 @default.
- W2487215098 cites W162588085 @default.
- W2487215098 cites W1789056215 @default.
- W2487215098 cites W1824383997 @default.
- W2487215098 cites W1965702335 @default.
- W2487215098 cites W2000261666 @default.
- W2487215098 cites W2031411300 @default.
- W2487215098 cites W2041030963 @default.
- W2487215098 cites W2044028378 @default.
- W2487215098 cites W2059396299 @default.
- W2487215098 cites W2066949643 @default.
- W2487215098 cites W2069709605 @default.
- W2487215098 cites W2092486735 @default.
- W2487215098 cites W2117221156 @default.
- W2487215098 cites W2125398300 @default.
- W2487215098 cites W2132761501 @default.
- W2487215098 cites W2137628566 @default.
- W2487215098 cites W2159131252 @default.
- W2487215098 cites W2165815681 @default.
- W2487215098 cites W4205208238 @default.
- W2487215098 doi "https://doi.org/10.1007/978-3-319-40229-1_26" @default.
- W2487215098 hasPublicationYear "2016" @default.
- W2487215098 type Work @default.
- W2487215098 sameAs 2487215098 @default.
- W2487215098 citedByCount "0" @default.
- W2487215098 crossrefType "book-chapter" @default.
- W2487215098 hasAuthorship W2487215098A5010017295 @default.
- W2487215098 hasBestOaLocation W24872150982 @default.
- W2487215098 hasConcept C102993220 @default.
- W2487215098 hasConcept C11413529 @default.
- W2487215098 hasConcept C14523651 @default.
- W2487215098 hasConcept C168773769 @default.
- W2487215098 hasConcept C199360897 @default.
- W2487215098 hasConcept C33203268 @default.
- W2487215098 hasConcept C33923547 @default.
- W2487215098 hasConcept C41008148 @default.
- W2487215098 hasConcept C69562738 @default.
- W2487215098 hasConcept C74640108 @default.
- W2487215098 hasConcept C80444323 @default.
- W2487215098 hasConceptScore W2487215098C102993220 @default.
- W2487215098 hasConceptScore W2487215098C11413529 @default.
- W2487215098 hasConceptScore W2487215098C14523651 @default.
- W2487215098 hasConceptScore W2487215098C168773769 @default.
- W2487215098 hasConceptScore W2487215098C199360897 @default.
- W2487215098 hasConceptScore W2487215098C33203268 @default.
- W2487215098 hasConceptScore W2487215098C33923547 @default.
- W2487215098 hasConceptScore W2487215098C41008148 @default.
- W2487215098 hasConceptScore W2487215098C69562738 @default.
- W2487215098 hasConceptScore W2487215098C74640108 @default.
- W2487215098 hasConceptScore W2487215098C80444323 @default.
- W2487215098 hasLocation W24872150981 @default.
- W2487215098 hasLocation W24872150982 @default.
- W2487215098 hasLocation W24872150983 @default.
- W2487215098 hasLocation W24872150984 @default.
- W2487215098 hasLocation W24872150985 @default.
- W2487215098 hasLocation W24872150986 @default.
- W2487215098 hasOpenAccess W2487215098 @default.
- W2487215098 hasPrimaryLocation W24872150981 @default.
- W2487215098 hasRelatedWork W1545257085 @default.
- W2487215098 hasRelatedWork W1671442782 @default.
- W2487215098 hasRelatedWork W1878738503 @default.
- W2487215098 hasRelatedWork W1987118140 @default.
- W2487215098 hasRelatedWork W2788816388 @default.
- W2487215098 hasRelatedWork W2951901777 @default.
- W2487215098 hasRelatedWork W3099382357 @default.
- W2487215098 hasRelatedWork W4298267346 @default.
- W2487215098 hasRelatedWork W949976107 @default.
- W2487215098 hasRelatedWork W2990043628 @default.
- W2487215098 isParatext "false" @default.
- W2487215098 isRetracted "false" @default.
- W2487215098 magId "2487215098" @default.
- W2487215098 workType "book-chapter" @default.