The Proof Theory of Common Knowledge
Publisher DOI
Abstract
Common knowledge of a proposition A can be characterized by the following infinitary conjunction: everybody knows A and everybody knows that everybody knows A and everybody knows that everybody knows that everybody knows A and so on. We present a survey of deductive systems for the logic of common knowledge. In particular, we present two different Hilbert-style axiomatizations and two infinitary cut-free sequent systems. Further we discuss the problem of syntactic cut elimination for common knowledge. The paper concludes with a list of open problems.
Date Issued
2018
Publication Type
Book Section
Language(s)
en
Editor(s)
Ditmarsch, Hans van | |
Sandu, Gabriel |
Additional Credits
Publisher
Springer International Publishing
ISBN
978-3-319-62863-9
Access(Rights)
restricted