Consistency proofs for systems of multi-agent only knowing (Q5483017)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Consistency proofs for systems of multi-agent only knowing |
scientific article; zbMATH DE number 5046370
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Consistency proofs for systems of multi-agent only knowing |
scientific article; zbMATH DE number 5046370 |
Statements
15 August 2006
0 references
multi-modal system of only knowing
0 references
sequent calculus
0 references
cut-elimination
0 references
consistency
0 references
belief
0 references
confidence
0 references
0.8120183944702148
0 references
0.8031120300292969
0 references
0.7922921776771545
0 references
0.7878141403198242
0 references
0.7816473245620728
0 references
