Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138649076> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2138649076 abstract "Over the last 25 years, a lot of work has been done on seeking for decidable non-regular extensions of Propositional Dynamic Logic (PDL). Only recently, an expressive extension of PDL, allowing visibly pushdown automata (VPAs) as a formalism to describe programs, was introduced and proven to have a satisfiability problem complete for deterministic double exponential time. Lately, the VPA formalism was extended to so called k-phase multi-stack visibly pushdown automata (k-MVPAs). Similarly to VPAs, it has been shown that the language of k-MVPAs have desirable effective closure properties and that the emptiness problem is decidable. On the occasion of introducing k-MVPAs, it has been asked whether the extension of PDL with k-MVPAs still leads to a decidable logic. This question is answered negatively here. We prove that already for the extension of PDL with 2-phase MVPAs with two stacks satisfiability becomes Sigma_1^1-complete." @default.
- W2138649076 created "2016-06-24" @default.
- W2138649076 creator A5077221909 @default.
- W2138649076 creator A5079767975 @default.
- W2138649076 date "2007-07-04" @default.
- W2138649076 modified "2023-09-27" @default.
- W2138649076 title "On a Non-Context-Free Extension of PDL" @default.
- W2138649076 cites W1974572624 @default.
- W2138649076 cites W2017025480 @default.
- W2138649076 cites W2062879749 @default.
- W2138649076 cites W2069709605 @default.
- W2138649076 cites W2107398710 @default.
- W2138649076 cites W2115915222 @default.
- W2138649076 cites W2151033407 @default.
- W2138649076 hasPublicationYear "2007" @default.
- W2138649076 type Work @default.
- W2138649076 sameAs 2138649076 @default.
- W2138649076 citedByCount "0" @default.
- W2138649076 crossrefType "posted-content" @default.
- W2138649076 hasAuthorship W2138649076A5077221909 @default.
- W2138649076 hasAuthorship W2138649076A5079767975 @default.
- W2138649076 hasConcept C112505250 @default.
- W2138649076 hasConcept C118615104 @default.
- W2138649076 hasConcept C142362112 @default.
- W2138649076 hasConcept C152062344 @default.
- W2138649076 hasConcept C153269930 @default.
- W2138649076 hasConcept C153349607 @default.
- W2138649076 hasConcept C168773769 @default.
- W2138649076 hasConcept C199360897 @default.
- W2138649076 hasConcept C2778029271 @default.
- W2138649076 hasConcept C33923547 @default.
- W2138649076 hasConcept C41008148 @default.
- W2138649076 hasConcept C558565934 @default.
- W2138649076 hasConcept C6943359 @default.
- W2138649076 hasConcept C73301696 @default.
- W2138649076 hasConcept C77944639 @default.
- W2138649076 hasConcept C80444323 @default.
- W2138649076 hasConceptScore W2138649076C112505250 @default.
- W2138649076 hasConceptScore W2138649076C118615104 @default.
- W2138649076 hasConceptScore W2138649076C142362112 @default.
- W2138649076 hasConceptScore W2138649076C152062344 @default.
- W2138649076 hasConceptScore W2138649076C153269930 @default.
- W2138649076 hasConceptScore W2138649076C153349607 @default.
- W2138649076 hasConceptScore W2138649076C168773769 @default.
- W2138649076 hasConceptScore W2138649076C199360897 @default.
- W2138649076 hasConceptScore W2138649076C2778029271 @default.
- W2138649076 hasConceptScore W2138649076C33923547 @default.
- W2138649076 hasConceptScore W2138649076C41008148 @default.
- W2138649076 hasConceptScore W2138649076C558565934 @default.
- W2138649076 hasConceptScore W2138649076C6943359 @default.
- W2138649076 hasConceptScore W2138649076C73301696 @default.
- W2138649076 hasConceptScore W2138649076C77944639 @default.
- W2138649076 hasConceptScore W2138649076C80444323 @default.
- W2138649076 hasLocation W21386490761 @default.
- W2138649076 hasOpenAccess W2138649076 @default.
- W2138649076 hasPrimaryLocation W21386490761 @default.
- W2138649076 hasRelatedWork W128496866 @default.
- W2138649076 hasRelatedWork W1444202976 @default.
- W2138649076 hasRelatedWork W1530104041 @default.
- W2138649076 hasRelatedWork W2151033407 @default.
- W2138649076 hasRelatedWork W2268014521 @default.
- W2138649076 hasRelatedWork W2281681012 @default.
- W2138649076 hasRelatedWork W2724853801 @default.
- W2138649076 hasRelatedWork W2806573442 @default.
- W2138649076 hasRelatedWork W2933242334 @default.
- W2138649076 hasRelatedWork W2942696941 @default.
- W2138649076 hasRelatedWork W2963775146 @default.
- W2138649076 hasRelatedWork W2964635598 @default.
- W2138649076 hasRelatedWork W3014120279 @default.
- W2138649076 hasRelatedWork W3095860260 @default.
- W2138649076 hasRelatedWork W3101301532 @default.
- W2138649076 hasRelatedWork W3103530092 @default.
- W2138649076 hasRelatedWork W3104287458 @default.
- W2138649076 hasRelatedWork W3146824122 @default.
- W2138649076 hasRelatedWork W62903840 @default.
- W2138649076 hasRelatedWork W2801848061 @default.
- W2138649076 isParatext "false" @default.
- W2138649076 isRetracted "false" @default.
- W2138649076 magId "2138649076" @default.
- W2138649076 workType "article" @default.