Matches in SemOpenAlex for { <https://semopenalex.org/work/W3198454556> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3198454556 endingPage "1658" @default.
- W3198454556 startingPage "1645" @default.
- W3198454556 abstract "Abstract We introduce the probabilistic two-agent justification logic $textsf {IPJ}$, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of the probabilities in $textsf {IPJ}$, we present a new method of parametrizing $textsf {IPJ}$ over certain negligible functions. Further, our approach leads to a new notion of zero-knowledge proofs." @default.
- W3198454556 created "2021-09-13" @default.
- W3198454556 creator A5004617432 @default.
- W3198454556 creator A5084703327 @default.
- W3198454556 creator A5086903137 @default.
- W3198454556 date "2022-10-26" @default.
- W3198454556 modified "2023-10-16" @default.
- W3198454556 title "A logic of interactive proofs" @default.
- W3198454556 cites W1484557542 @default.
- W3198454556 cites W1989034894 @default.
- W3198454556 cites W1990359916 @default.
- W3198454556 cites W2009552408 @default.
- W3198454556 cites W2043468053 @default.
- W3198454556 cites W2045237008 @default.
- W3198454556 cites W2050519161 @default.
- W3198454556 cites W2090424995 @default.
- W3198454556 cites W2104288836 @default.
- W3198454556 cites W2271730576 @default.
- W3198454556 cites W2315012277 @default.
- W3198454556 cites W2964125215 @default.
- W3198454556 cites W2983798805 @default.
- W3198454556 cites W3149338148 @default.
- W3198454556 cites W3195612192 @default.
- W3198454556 cites W4211092209 @default.
- W3198454556 cites W4232076615 @default.
- W3198454556 cites W4234037986 @default.
- W3198454556 cites W4298227433 @default.
- W3198454556 doi "https://doi.org/10.1093/logcom/exac071" @default.
- W3198454556 hasPublicationYear "2022" @default.
- W3198454556 type Work @default.
- W3198454556 sameAs 3198454556 @default.
- W3198454556 citedByCount "1" @default.
- W3198454556 countsByYear W31984545562023 @default.
- W3198454556 crossrefType "journal-article" @default.
- W3198454556 hasAuthorship W3198454556A5004617432 @default.
- W3198454556 hasAuthorship W3198454556A5084703327 @default.
- W3198454556 hasAuthorship W3198454556A5086903137 @default.
- W3198454556 hasBestOaLocation W31984545562 @default.
- W3198454556 hasConcept C10138342 @default.
- W3198454556 hasConcept C108710211 @default.
- W3198454556 hasConcept C118615104 @default.
- W3198454556 hasConcept C136119220 @default.
- W3198454556 hasConcept C154945302 @default.
- W3198454556 hasConcept C162324750 @default.
- W3198454556 hasConcept C182306322 @default.
- W3198454556 hasConcept C199343813 @default.
- W3198454556 hasConcept C202444582 @default.
- W3198454556 hasConcept C2524010 @default.
- W3198454556 hasConcept C2777686260 @default.
- W3198454556 hasConcept C33923547 @default.
- W3198454556 hasConcept C41008148 @default.
- W3198454556 hasConcept C49937458 @default.
- W3198454556 hasConcept C71924100 @default.
- W3198454556 hasConceptScore W3198454556C10138342 @default.
- W3198454556 hasConceptScore W3198454556C108710211 @default.
- W3198454556 hasConceptScore W3198454556C118615104 @default.
- W3198454556 hasConceptScore W3198454556C136119220 @default.
- W3198454556 hasConceptScore W3198454556C154945302 @default.
- W3198454556 hasConceptScore W3198454556C162324750 @default.
- W3198454556 hasConceptScore W3198454556C182306322 @default.
- W3198454556 hasConceptScore W3198454556C199343813 @default.
- W3198454556 hasConceptScore W3198454556C202444582 @default.
- W3198454556 hasConceptScore W3198454556C2524010 @default.
- W3198454556 hasConceptScore W3198454556C2777686260 @default.
- W3198454556 hasConceptScore W3198454556C33923547 @default.
- W3198454556 hasConceptScore W3198454556C41008148 @default.
- W3198454556 hasConceptScore W3198454556C49937458 @default.
- W3198454556 hasConceptScore W3198454556C71924100 @default.
- W3198454556 hasIssue "8" @default.
- W3198454556 hasLocation W31984545561 @default.
- W3198454556 hasLocation W31984545562 @default.
- W3198454556 hasOpenAccess W3198454556 @default.
- W3198454556 hasPrimaryLocation W31984545561 @default.
- W3198454556 hasRelatedWork W1987272770 @default.
- W3198454556 hasRelatedWork W1995284689 @default.
- W3198454556 hasRelatedWork W2025910816 @default.
- W3198454556 hasRelatedWork W2143578351 @default.
- W3198454556 hasRelatedWork W2321824256 @default.
- W3198454556 hasRelatedWork W2333819912 @default.
- W3198454556 hasRelatedWork W2604285372 @default.
- W3198454556 hasRelatedWork W2947186315 @default.
- W3198454556 hasRelatedWork W2950092323 @default.
- W3198454556 hasRelatedWork W4290792893 @default.
- W3198454556 hasVolume "32" @default.
- W3198454556 isParatext "false" @default.
- W3198454556 isRetracted "false" @default.
- W3198454556 magId "3198454556" @default.
- W3198454556 workType "article" @default.