FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2938691515> ?p ?o ?g. }

• W2938691515 endingPage "830" @default.
• W2938691515 startingPage "803" @default.
• W2938691515 abstract "Abstract In this paper we provide a strongly complete axiomatization of a temporal epistemic logic in which non-rigid sets of agents are allowed. Using this framework, we prove a number of properties of the blockchain protocol with respect to the given set of axioms and premises." @default.
• W2938691515 created "2019-04-25" @default.
• W2938691515 creator A5035989427 @default.
• W2938691515 creator A5069536650 @default.
• W2938691515 creator A5084703327 @default.
• W2938691515 creator A5086903137 @default.
• W2938691515 date "2019-04-10" @default.
• W2938691515 modified "2023-10-16" @default.
• W2938691515 title "A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol" @default.
• W2938691515 cites W1494976167 @default.
• W2938691515 cites W1506588809 @default.
• W2938691515 cites W1645519945 @default.
• W2938691515 cites W1982302236 @default.
• W2938691515 cites W1999428129 @default.
• W2938691515 cites W2008960163 @default.
• W2938691515 cites W2014322692 @default.
• W2938691515 cites W2014740956 @default.
• W2938691515 cites W2020453924 @default.
• W2938691515 cites W2022205872 @default.
• W2938691515 cites W2043384921 @default.
• W2938691515 cites W2057248704 @default.
• W2938691515 cites W2065463946 @default.
• W2938691515 cites W2092497338 @default.
• W2938691515 cites W2144501579 @default.
• W2938691515 cites W2150853278 @default.
• W2938691515 cites W2152261758 @default.
• W2938691515 cites W2592068898 @default.
• W2938691515 cites W2963146767 @default.
• W2938691515 cites W4213095921 @default.
• W2938691515 cites W4234037986 @default.
• W2938691515 doi "https://doi.org/10.1093/logcom/exz007" @default.
• W2938691515 hasPublicationYear "2019" @default.
• W2938691515 type Work @default.
• W2938691515 sameAs 2938691515 @default.
• W2938691515 citedByCount "14" @default.
• W2938691515 countsByYear W29386915152019 @default.
• W2938691515 countsByYear W29386915152020 @default.
• W2938691515 countsByYear W29386915152021 @default.
• W2938691515 countsByYear W29386915152022 @default.
• W2938691515 countsByYear W29386915152023 @default.
• W2938691515 crossrefType "journal-article" @default.
• W2938691515 hasAuthorship W2938691515A5035989427 @default.
• W2938691515 hasAuthorship W2938691515A5069536650 @default.
• W2938691515 hasAuthorship W2938691515A5084703327 @default.
• W2938691515 hasAuthorship W2938691515A5086903137 @default.
• W2938691515 hasBestOaLocation W29386915152 @default.
• W2938691515 hasConcept C102993220 @default.
• W2938691515 hasConcept C107247716 @default.
• W2938691515 hasConcept C142724271 @default.
• W2938691515 hasConcept C167729594 @default.
• W2938691515 hasConcept C177264268 @default.
• W2938691515 hasConcept C199360897 @default.
• W2938691515 hasConcept C203659156 @default.
• W2938691515 hasConcept C204787440 @default.
• W2938691515 hasConcept C2524010 @default.
• W2938691515 hasConcept C2779687700 @default.
• W2938691515 hasConcept C2780385302 @default.
• W2938691515 hasConcept C33923547 @default.
• W2938691515 hasConcept C38652104 @default.
• W2938691515 hasConcept C41008148 @default.
• W2938691515 hasConcept C71924100 @default.
• W2938691515 hasConcept C80444323 @default.
• W2938691515 hasConceptScore W2938691515C102993220 @default.
• W2938691515 hasConceptScore W2938691515C107247716 @default.
• W2938691515 hasConceptScore W2938691515C142724271 @default.
• W2938691515 hasConceptScore W2938691515C167729594 @default.
• W2938691515 hasConceptScore W2938691515C177264268 @default.
• W2938691515 hasConceptScore W2938691515C199360897 @default.
• W2938691515 hasConceptScore W2938691515C203659156 @default.
• W2938691515 hasConceptScore W2938691515C204787440 @default.
• W2938691515 hasConceptScore W2938691515C2524010 @default.
• W2938691515 hasConceptScore W2938691515C2779687700 @default.
• W2938691515 hasConceptScore W2938691515C2780385302 @default.
• W2938691515 hasConceptScore W2938691515C33923547 @default.
• W2938691515 hasConceptScore W2938691515C38652104 @default.
• W2938691515 hasConceptScore W2938691515C41008148 @default.
• W2938691515 hasConceptScore W2938691515C71924100 @default.
• W2938691515 hasConceptScore W2938691515C80444323 @default.
• W2938691515 hasFunder F4320320924 @default.
• W2938691515 hasIssue "5" @default.
• W2938691515 hasLocation W29386915151 @default.
• W2938691515 hasLocation W29386915152 @default.
• W2938691515 hasOpenAccess W2938691515 @default.
• W2938691515 hasPrimaryLocation W29386915151 @default.
• W2938691515 hasRelatedWork W1599831362 @default.
• W2938691515 hasRelatedWork W196405095 @default.
• W2938691515 hasRelatedWork W1964888435 @default.
• W2938691515 hasRelatedWork W2120613606 @default.
• W2938691515 hasRelatedWork W2899742646 @default.
• W2938691515 hasRelatedWork W2938691515 @default.
• W2938691515 hasRelatedWork W3004627947 @default.
• W2938691515 hasRelatedWork W3005560537 @default.
• W2938691515 hasRelatedWork W3029161235 @default.
• W2938691515 hasRelatedWork W4289755341 @default.
• W2938691515 hasVolume "29" @default.
• W2938691515 isParatext "false" @default.
• W2938691515 isRetracted "false" @default.
• W2938691515 magId "2938691515" @default.

• next