Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6574070
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logic of negation-complete interactive proofs (formal theory of epistemic deciders) |
scientific article; zbMATH DE number 6574070 |
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
0.90711987
0 references
0 references
0 references
0.89786017
0 references
0.8894821
0 references
0.88938326
0 references
0.8868259
0 references
0.88441783
0 references
0.88417655
0 references
