Abstract
We consider the relative strengths of three formal approaches to public knowledge: “any fool” knowledge by McCarthy (1970), Common Knowledge by Halpern and Moses (1990), and Justified Knowledge by Artemov (2004). Specifically, we show that epistemic systems with the Common Knowledge modality C are conservative with respect to Justified Knowledge systems on formulas χ ∧ Cϕ→ψ, where χ, ϕ, and ψ are C-free.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alberucci, L., Jaeger, G.: About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic 133, 73–99 (2005)
Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
Artemov, S.: Evidence-Based Common Knowledge. Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science (2004)
Artemov, S.: Justified Common Knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)
Aumann, R.J.: Agreeing to Disagree. Annals of Statistics 4(6), 1236–1239 (1976)
Barwise, J.: Three Views of Common Knowledge. In: TARK 1988, pp. 365–379 (1988)
van Benthem, J., Sarenac, D.: The Geometry of Knowledge. ILLC Report PP-2004-21, University of Amsterdam (2004)
Bryukhov, Y.: Integration of decision procedures into high-order interactive provers. Ph.D. thesis, CUNY Graduate School (2005)
Demri, S.: Complexity of Simple Dependent Bimodal Logics. Laboratoire LEIBNIZ-CNRS, U.M.R. 5522, manuscript (2005)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Fitting, M.: Modal Proof Theory. In: Blackburnand, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, Elsevier, Amsterdam (2006)
Geanakoplos, J.: Common Knowledge. In: TARK 1992, pp. 254–315 (1992)
Halpern, J., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37(3), 549–587 (1990), A preliminary version appeared in 1984
Lehmann, D.: Knowledge, common knowledge, and related puzzles. In: Proc. 3rd ACM Symposium on Principles of Distributed Computing, pp. 62–67 (1984)
Lewis, D.: Convention, A Philosophical Study. Harvard University Press, Cambridge (1969)
McCarthy, J., Sato, M., Hayashi, T., Igarishi, S.: On the Model Theory of Knowledge. Technical Report STAN-CS-78-657, Stanford University (1978)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic of AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)
Rubtsova, N.: On realization of S5 modalitiy by evidence terms. Journal of Logic and Computation 16, 671–684 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Antonakos, E. (2007). Justified and Common Knowledge: Limited Conservativity. In: Artemov, S.N., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2007. Lecture Notes in Computer Science, vol 4514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72734-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-72734-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72732-3
Online ISBN: 978-3-540-72734-7
eBook Packages: Computer ScienceComputer Science (R0)