Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Alberucci, L., Jaeger, G.: About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic 133, 73–99 (2005)
2. Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
3. Artemov, S.: Evidence-Based Common Knowledge. Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science (2004)
4. Artemov, S.: Justified Common Knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)
5. Aumann, R.J.: Agreeing to Disagree. Annals of Statistics 4(6), 1236–1239 (1976)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Conflict Resolution Using Justification Based Reasoning;Electronic Proceedings in Theoretical Computer Science;2019-10-31
2. Justification Logic;CAMB TRACT MATH;2019-04-25
3. The Proof Theory of Common Knowledge;Jaakko Hintikka on Knowledge and Game-Theoretical Semantics;2018
4. Pairing Traditional and Generic Common Knowledge;Logical Foundations of Computer Science;2015-12-10
5. The logic of justified belief, explicit knowledge, and conclusive evidence;Annals of Pure and Applied Logic;2014-01