Deduction chains for common knowledge (Q2506830)
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: Deduction chains for common knowledge |
scientific article; zbMATH DE number 5061799
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Deduction chains for common knowledge |
scientific article; zbMATH DE number 5061799 |
Statements
Deduction chains for common knowledge (English)
0 references
10 October 2006
0 references
deduction chains
0 references
logics of common knowledge
0 references
Tait-style calculi
0 references
0.7989752292633057
0 references
0.7780923247337341
0 references
0.7685562968254089
0 references
0.753955602645874
0 references
