Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic of negation-complete interactive proofs (formal theory of epistemic deciders) |
scientific article |
Statements
Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (English)
0 references
26 April 2016
0 references
agents as proof checkers
0 references
constructive Kripke semantics
0 references
disjunctive explicit doxastic logic
0 references
epistemic logic
0 references
epistemic deciders as decisive evidence
0 references
interactive and oracle computation
0 references
multi-agent systems
0 references
negation as failure
0 references
proofs as sufficient evidence
0 references
proof terms as truth values
0 references
0 references
