Logic of Non-monotonic Interactive Proofs (Q2936240)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic of Non-monotonic Interactive Proofs |
scientific article |
Statements
Logic of Non-monotonic Interactive Proofs (English)
0 references
6 January 2015
0 references
agents as proof- and signature-checkers
0 references
constructive Kripke semantics
0 references
interpreted communication
0 references
multi-agent distributed systems
0 references
interactive and oracle computation
0 references
proofs as sufficient evidence
0 references
