Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171568251> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2171568251 abstract "We continue research on enriching propositional dynamic logic (PDL) with nonregular programs. Previous work indicates that the general problem of characterizing those extensions for which PDL becomes undecidable is probably very hard. Consequently, we aim lower, addressing the related issues of expressive power and the finite model property. We also settle the decidability question for a nontrivial special case. Specifically, (i) the expressive power of any nonregular extension of PDL is shown to be stronger than that of regular PDL; (ii) a general condition is formulated that is sufficient for a one-letter nonregular extension to violate the finite model property, and is shown to hold in several cases, such as polynomials, sums of primes, factorial numbers, and linear recurrences; (iii) building on a technique of Paterson and Harel (1984), the validity problem for PDL enriched with the Fibonacci-like sequence 1, 4, 5, 9, 14, ..., is shown to be /spl Pi//sub 1//sup 1/-complete. >" @default.
- W2171568251 created "2016-06-24" @default.
- W2171568251 creator A5017982553 @default.
- W2171568251 creator A5088778612 @default.
- W2171568251 date "2002-11-19" @default.
- W2171568251 modified "2023-09-26" @default.
- W2171568251 title "More on nonregular PDL: expressive power, finite models, Fibonacci programs" @default.
- W2171568251 cites W1444202976 @default.
- W2171568251 cites W1501571921 @default.
- W2171568251 cites W1519854400 @default.
- W2171568251 cites W1574129634 @default.
- W2171568251 cites W1997716585 @default.
- W2171568251 cites W2014144845 @default.
- W2171568251 cites W2017025480 @default.
- W2171568251 cites W2031775313 @default.
- W2171568251 cites W2062879749 @default.
- W2171568251 cites W2069709605 @default.
- W2171568251 cites W2115915222 @default.
- W2171568251 cites W2157390113 @default.
- W2171568251 cites W2402038485 @default.
- W2171568251 cites W421997344 @default.
- W2171568251 doi "https://doi.org/10.1109/istcs.1995.377037" @default.
- W2171568251 hasPublicationYear "2002" @default.
- W2171568251 type Work @default.
- W2171568251 sameAs 2171568251 @default.
- W2171568251 citedByCount "3" @default.
- W2171568251 crossrefType "proceedings-article" @default.
- W2171568251 hasAuthorship W2171568251A5017982553 @default.
- W2171568251 hasAuthorship W2171568251A5088778612 @default.
- W2171568251 hasConcept C10628310 @default.
- W2171568251 hasConcept C111472728 @default.
- W2171568251 hasConcept C114614502 @default.
- W2171568251 hasConcept C118615104 @default.
- W2171568251 hasConcept C136119220 @default.
- W2171568251 hasConcept C138885662 @default.
- W2171568251 hasConcept C153269930 @default.
- W2171568251 hasConcept C173734053 @default.
- W2171568251 hasConcept C189950617 @default.
- W2171568251 hasConcept C192034797 @default.
- W2171568251 hasConcept C195818886 @default.
- W2171568251 hasConcept C199360897 @default.
- W2171568251 hasConcept C202444582 @default.
- W2171568251 hasConcept C2778029271 @default.
- W2171568251 hasConcept C2778112365 @default.
- W2171568251 hasConcept C33923547 @default.
- W2171568251 hasConcept C41008148 @default.
- W2171568251 hasConcept C54355233 @default.
- W2171568251 hasConcept C79117305 @default.
- W2171568251 hasConcept C80444323 @default.
- W2171568251 hasConcept C86607863 @default.
- W2171568251 hasConcept C86803240 @default.
- W2171568251 hasConceptScore W2171568251C10628310 @default.
- W2171568251 hasConceptScore W2171568251C111472728 @default.
- W2171568251 hasConceptScore W2171568251C114614502 @default.
- W2171568251 hasConceptScore W2171568251C118615104 @default.
- W2171568251 hasConceptScore W2171568251C136119220 @default.
- W2171568251 hasConceptScore W2171568251C138885662 @default.
- W2171568251 hasConceptScore W2171568251C153269930 @default.
- W2171568251 hasConceptScore W2171568251C173734053 @default.
- W2171568251 hasConceptScore W2171568251C189950617 @default.
- W2171568251 hasConceptScore W2171568251C192034797 @default.
- W2171568251 hasConceptScore W2171568251C195818886 @default.
- W2171568251 hasConceptScore W2171568251C199360897 @default.
- W2171568251 hasConceptScore W2171568251C202444582 @default.
- W2171568251 hasConceptScore W2171568251C2778029271 @default.
- W2171568251 hasConceptScore W2171568251C2778112365 @default.
- W2171568251 hasConceptScore W2171568251C33923547 @default.
- W2171568251 hasConceptScore W2171568251C41008148 @default.
- W2171568251 hasConceptScore W2171568251C54355233 @default.
- W2171568251 hasConceptScore W2171568251C79117305 @default.
- W2171568251 hasConceptScore W2171568251C80444323 @default.
- W2171568251 hasConceptScore W2171568251C86607863 @default.
- W2171568251 hasConceptScore W2171568251C86803240 @default.
- W2171568251 hasLocation W21715682511 @default.
- W2171568251 hasOpenAccess W2171568251 @default.
- W2171568251 hasPrimaryLocation W21715682511 @default.
- W2171568251 hasRelatedWork W1018377251 @default.
- W2171568251 hasRelatedWork W1555798330 @default.
- W2171568251 hasRelatedWork W1976863752 @default.
- W2171568251 hasRelatedWork W2009902341 @default.
- W2171568251 hasRelatedWork W2018805361 @default.
- W2171568251 hasRelatedWork W2068709824 @default.
- W2171568251 hasRelatedWork W2116766306 @default.
- W2171568251 hasRelatedWork W2120845982 @default.
- W2171568251 hasRelatedWork W2126687546 @default.
- W2171568251 hasRelatedWork W2137041971 @default.
- W2171568251 hasRelatedWork W2531234554 @default.
- W2171568251 hasRelatedWork W2726560500 @default.
- W2171568251 hasRelatedWork W2775226152 @default.
- W2171568251 hasRelatedWork W2786962850 @default.
- W2171568251 hasRelatedWork W2788272802 @default.
- W2171568251 hasRelatedWork W2922213978 @default.
- W2171568251 hasRelatedWork W2964259436 @default.
- W2171568251 hasRelatedWork W3029800901 @default.
- W2171568251 hasRelatedWork W3103648976 @default.
- W2171568251 hasRelatedWork W891461 @default.
- W2171568251 isParatext "false" @default.
- W2171568251 isRetracted "false" @default.
- W2171568251 magId "2171568251" @default.
- W2171568251 workType "article" @default.