Opening book details…
Can I read Syntactic Cut-elimination for Common Knowledge on EtoBox?
Syntactic Cut-elimination for Common Knowledge by Kai Brünnler; Thomas Studer is a Computer Science article available to read on EtoBox.
What is Syntactic Cut-elimination for Common Knowledge about?
We see a cut-free infinitary sequent system for common knowledge. Its sequents are essentially trees and the inference rules apply deeply inside of these trees. This allows to give a syntactic cut-elimination procedure which yields an upper bound of φ 2 0 on the depth of proofs, where φ is the Veblen function.
Who reads Syntactic Cut-elimination for Common Knowledge?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Kai Brünnler; Thomas Studer
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 2009
- Language
- EN
- Field
- Computer Science (Physical Sciences)