Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900)
From MaRDI portal
scientific article; zbMATH DE number 6744218
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) |
scientific article; zbMATH DE number 6744218 |
Statements
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (English)
0 references
12 July 2017
0 references
agents as proof-checkers
0 references
communication networks
0 references
constructive Kripke-semantics
0 references
disjunctive explicit doxastic and epistemic logic
0 references
interactive computation
0 references
oracle computation
0 references
interpreted communication
0 references
intuitionistic modal logic
0 references
multiagent distributed systems
0 references
proofs as sufficient evidence
0 references
