Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040677011> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2040677011 endingPage "69" @default.
- W2040677011 startingPage "48" @default.
- W2040677011 abstract "It is shown that any non-first-order fragment of quantificational dynamic logic with certain natural syntactic closure properties has a Π 2 0 -hard validity problem. (Somewhat weaker assumptions give a “ Δ 2 0 -hard” validity problem.) Examples show this best possible with such hypotheses, and the weakest natural syntactic closure assumptions, not satisfied by the given examples with Π 2 0 validity problem, immediately give rise to Π 1 1 -completeness. This confirms the pattern arising from complexity determinations by Harel, Meyer, and Pratt (“Proceedings, 9th ACM Symposium Theory of Compuring,” 1977). Also, virtually any non-first-order fragment must fail to have uniformly relative recursive enumerability of logical consequence." @default.
- W2040677011 created "2016-06-24" @default.
- W2040677011 creator A5076478379 @default.
- W2040677011 creator A5084299289 @default.
- W2040677011 date "1982-07-01" @default.
- W2040677011 modified "2023-09-29" @default.
- W2040677011 title "The complexity of the validity problem for dynamic logic" @default.
- W2040677011 cites W1490966766 @default.
- W2040677011 cites W1542543925 @default.
- W2040677011 cites W165617141 @default.
- W2040677011 cites W1748509900 @default.
- W2040677011 cites W1873671437 @default.
- W2040677011 cites W1974483963 @default.
- W2040677011 cites W2007469624 @default.
- W2040677011 cites W2071369407 @default.
- W2040677011 cites W2149736013 @default.
- W2040677011 cites W2988584482 @default.
- W2040677011 doi "https://doi.org/10.1016/s0019-9958(82)91242-6" @default.
- W2040677011 hasPublicationYear "1982" @default.
- W2040677011 type Work @default.
- W2040677011 sameAs 2040677011 @default.
- W2040677011 citedByCount "4" @default.
- W2040677011 crossrefType "journal-article" @default.
- W2040677011 hasAuthorship W2040677011A5076478379 @default.
- W2040677011 hasAuthorship W2040677011A5084299289 @default.
- W2040677011 hasBestOaLocation W20406770111 @default.
- W2040677011 hasConcept C11413529 @default.
- W2040677011 hasConcept C118615104 @default.
- W2040677011 hasConcept C134306372 @default.
- W2040677011 hasConcept C146834321 @default.
- W2040677011 hasConcept C162324750 @default.
- W2040677011 hasConcept C17231256 @default.
- W2040677011 hasConcept C199343813 @default.
- W2040677011 hasConcept C2776235265 @default.
- W2040677011 hasConcept C2777686260 @default.
- W2040677011 hasConcept C33923547 @default.
- W2040677011 hasConcept C34447519 @default.
- W2040677011 hasConcept C41008148 @default.
- W2040677011 hasConcept C71924100 @default.
- W2040677011 hasConceptScore W2040677011C11413529 @default.
- W2040677011 hasConceptScore W2040677011C118615104 @default.
- W2040677011 hasConceptScore W2040677011C134306372 @default.
- W2040677011 hasConceptScore W2040677011C146834321 @default.
- W2040677011 hasConceptScore W2040677011C162324750 @default.
- W2040677011 hasConceptScore W2040677011C17231256 @default.
- W2040677011 hasConceptScore W2040677011C199343813 @default.
- W2040677011 hasConceptScore W2040677011C2776235265 @default.
- W2040677011 hasConceptScore W2040677011C2777686260 @default.
- W2040677011 hasConceptScore W2040677011C33923547 @default.
- W2040677011 hasConceptScore W2040677011C34447519 @default.
- W2040677011 hasConceptScore W2040677011C41008148 @default.
- W2040677011 hasConceptScore W2040677011C71924100 @default.
- W2040677011 hasIssue "1-2" @default.
- W2040677011 hasLocation W20406770111 @default.
- W2040677011 hasOpenAccess W2040677011 @default.
- W2040677011 hasPrimaryLocation W20406770111 @default.
- W2040677011 hasRelatedWork W118653430 @default.
- W2040677011 hasRelatedWork W1991261648 @default.
- W2040677011 hasRelatedWork W2034681630 @default.
- W2040677011 hasRelatedWork W2073073063 @default.
- W2040677011 hasRelatedWork W2089921049 @default.
- W2040677011 hasRelatedWork W2129933223 @default.
- W2040677011 hasRelatedWork W2800575014 @default.
- W2040677011 hasRelatedWork W4293333931 @default.
- W2040677011 hasRelatedWork W4298837614 @default.
- W2040677011 hasRelatedWork W4298974867 @default.
- W2040677011 hasVolume "54" @default.
- W2040677011 isParatext "false" @default.
- W2040677011 isRetracted "false" @default.
- W2040677011 magId "2040677011" @default.
- W2040677011 workType "article" @default.