Deduction chains for common knowledge (Q2506830)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Deduction chains for common knowledge |
scientific article |
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