《Reasoning About Knowledge》knowledge for consensus

引用一段别人的评价：

这本书需要投入一些学习模态逻辑的时间，但一旦您掌握了这部分内容，这本书提供了关于为什么像Aftorax这样的东西起作用的证明，这些证明非常直观和简单。基本上，这本书将复杂性推到了用于形成证明的逻辑结构中（以一种直观的方式）。强烈推荐，改变了我对共识的思考方式！

如果为了达到这个目的，阅读第2、4、5章就基本够了。