Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024015109> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2024015109 endingPage "158" @default.
- W2024015109 startingPage "147" @default.
- W2024015109 abstract "The set of diamond formulas is built up inductively from first-order formulas by closing off under first-order quantifiers, conjunction, disjunction, and 〈 a 〉, for regular programs a which may themselves contain tests which are diamond formulas. A complete proof system for diamond formulas is presented with a recursive set of axioms and only finitary rules. As a consequence the dual set of box formulas satisfies the compactness theorem." @default.
- W2024015109 created "2016-06-24" @default.
- W2024015109 creator A5087844665 @default.
- W2024015109 date "1984-05-01" @default.
- W2024015109 modified "2023-09-26" @default.
- W2024015109 title "Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem" @default.
- W2024015109 cites W2014131084 @default.
- W2024015109 cites W2087821987 @default.
- W2024015109 doi "https://doi.org/10.1016/s0019-9958(84)80055-8" @default.
- W2024015109 hasPublicationYear "1984" @default.
- W2024015109 type Work @default.
- W2024015109 sameAs 2024015109 @default.
- W2024015109 citedByCount "5" @default.
- W2024015109 countsByYear W20240151092013 @default.
- W2024015109 countsByYear W20240151092015 @default.
- W2024015109 countsByYear W20240151092020 @default.
- W2024015109 crossrefType "journal-article" @default.
- W2024015109 hasAuthorship W2024015109A5087844665 @default.
- W2024015109 hasBestOaLocation W20240151091 @default.
- W2024015109 hasConcept C100481476 @default.
- W2024015109 hasConcept C11413529 @default.
- W2024015109 hasConcept C118615104 @default.
- W2024015109 hasConcept C136119220 @default.
- W2024015109 hasConcept C167729594 @default.
- W2024015109 hasConcept C171636804 @default.
- W2024015109 hasConcept C177264268 @default.
- W2024015109 hasConcept C178790620 @default.
- W2024015109 hasConcept C185592680 @default.
- W2024015109 hasConcept C194886279 @default.
- W2024015109 hasConcept C199360897 @default.
- W2024015109 hasConcept C202444582 @default.
- W2024015109 hasConcept C2524010 @default.
- W2024015109 hasConcept C2776235265 @default.
- W2024015109 hasConcept C2776921476 @default.
- W2024015109 hasConcept C2778003309 @default.
- W2024015109 hasConcept C33923547 @default.
- W2024015109 hasConcept C41008148 @default.
- W2024015109 hasConcept C45962547 @default.
- W2024015109 hasConceptScore W2024015109C100481476 @default.
- W2024015109 hasConceptScore W2024015109C11413529 @default.
- W2024015109 hasConceptScore W2024015109C118615104 @default.
- W2024015109 hasConceptScore W2024015109C136119220 @default.
- W2024015109 hasConceptScore W2024015109C167729594 @default.
- W2024015109 hasConceptScore W2024015109C171636804 @default.
- W2024015109 hasConceptScore W2024015109C177264268 @default.
- W2024015109 hasConceptScore W2024015109C178790620 @default.
- W2024015109 hasConceptScore W2024015109C185592680 @default.
- W2024015109 hasConceptScore W2024015109C194886279 @default.
- W2024015109 hasConceptScore W2024015109C199360897 @default.
- W2024015109 hasConceptScore W2024015109C202444582 @default.
- W2024015109 hasConceptScore W2024015109C2524010 @default.
- W2024015109 hasConceptScore W2024015109C2776235265 @default.
- W2024015109 hasConceptScore W2024015109C2776921476 @default.
- W2024015109 hasConceptScore W2024015109C2778003309 @default.
- W2024015109 hasConceptScore W2024015109C33923547 @default.
- W2024015109 hasConceptScore W2024015109C41008148 @default.
- W2024015109 hasConceptScore W2024015109C45962547 @default.
- W2024015109 hasIssue "2" @default.
- W2024015109 hasLocation W20240151091 @default.
- W2024015109 hasOpenAccess W2024015109 @default.
- W2024015109 hasPrimaryLocation W20240151091 @default.
- W2024015109 hasRelatedWork W1204058665 @default.
- W2024015109 hasRelatedWork W1857851571 @default.
- W2024015109 hasRelatedWork W2024015109 @default.
- W2024015109 hasRelatedWork W2034453867 @default.
- W2024015109 hasRelatedWork W2071974395 @default.
- W2024015109 hasRelatedWork W2071977753 @default.
- W2024015109 hasRelatedWork W2090053325 @default.
- W2024015109 hasRelatedWork W2152251233 @default.
- W2024015109 hasRelatedWork W2168796774 @default.
- W2024015109 hasRelatedWork W2938315078 @default.
- W2024015109 hasVolume "61" @default.
- W2024015109 isParatext "false" @default.
- W2024015109 isRetracted "false" @default.
- W2024015109 magId "2024015109" @default.
- W2024015109 workType "article" @default.