Justified common knowledge

Theoretical Computer Science

Volumn 357, Issue 1-3, 2006, Pages 4-22

  Artemov, Sergei ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Common knowledge; Epistemic logic; Justification; Logic of proofs

Indexed keywords

CODES (SYMBOLS); FORMAL LOGIC; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; SEMANTICS;

COMMON KNOWLEDGE; EPISTEMIC LOGIC; JUSTIFICATION; LOGIC OF PROOFS;

KNOWLEDGE BASED SYSTEMS;

EID: 33745371051     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.03.009     Document Type: Article

References (42)

1. Alberucci L., and Jaeger G. About cut elimination for logics of common knowledge. Ann. Pure Appl. Logic 133 1-3 (2005) 73-99
2. Antonakos E. Comparing justified and common knowledge. Logic Colloq. Athens (August 2005)
3. E. Antonakos, Justified knowledge is sufficient, Technical Report TR-2006004, CUNY Ph.D. Program in Computer Science, 2006.
4. Artemov S. Logic of proofs. Ann. Pure Appl. Logic 67 1 (1994) 29-59
5. S. Artemov, Operational modal logic, Technical Report MSI 95-29, Cornell University, 1995.
6. Artemov S. Explicit provability and constructive semantics. Bull. Symbolic Logic 7 1 (2001) 1-36
7. S. Artemov, E. Kazakov, D. Shapiro, On logic of knowledge with justifications, Technical Report CFIS 99-12, Cornell University, 1999.
8. S. Artemov, E. Nogina, Logic of knowledge with justifications from the provability perspective, Technical Report TR-2004011, CUNY Ph.D. Program in Computer Science, 2004.
9. Artemov S., and Nogina E. Introducing justification into epistemic logic. J. Logic Comput. 15 6 (2005) 1059-1073
10. Artemov S., and Nogina E. On epistemic logic with justification. In: van der Meyden R. (Ed). Theoretical Aspects of Rationality and Knowledge, Proc. Tenth Conference (TARK 2005). June 10-12, 2005, Singapore, National University of Singapore (2005) 279-294
11. Aumann R.J. Agreeing to disagree. Ann. Statist. 4 6 (1976) 1236-1239
12. Bonjour L. The coherence theory of empirical knowledge. Philos. Stud. 30 (1976) 281-312 Reprinted in: M.F. Goodman, R.A. Snyder (Eds.), Contemporary Readings in Epistemology, Prentice-Hall, Englewood Cliffs, NJ, 1993, pp. 70-89
13. V. Brezhnev, On explicit counterparts of modal logics, Technical Report CFIS 2000-05, Cornell University, 2000.
14. Brezhnev V. On the logic of proofs. Proc. Sixth ESSLLI Student Session. Helsinki (2001) 35-46
15. V. Brezhnev, R. Kuznets, Making knowledge explicit: how hard it is, Technical Report TR-2005003, CUNY Ph.D. Program in Computer Science, 2005.
16. Y. Bryukhov, Integration of decision procedures into high-order interactive provers. Ph.D. Thesis, CUNY Graduate School, 2005.
17. Fagin R., Halpern J., Moses Y., and Vardi M. Reasoning About Knowledge (1995), MIT Press, Cambridge, MA
18. Fitting M. The logic of proofs, semantically. Ann. Pure Appl. Logic 132 1 (2005) 1-25
19. Gettier E. Is justified true belief knowledge?. Analysis 23 (1963) 121-123
20. Goldman A. A causal theory of knowing. J. Philos. 64 (1967) 335-372
21. Halpern J.Y., and Moses Y. Knowledge and common knowledge in a distributed environment. J. ACM 37 3 (1990) 549-587 A preliminary version appeared in Proc. Third ACM Symp. on Principles of Distributed Computing, 1984
22. V. Hendricks, Active agents, JoLLI-J. Language Logic Inform. (2003) 469-495.
23. Hintikka J. Knowledge and Belief (1962), Cornell University Press, Ithaca, NY
24. Kleene S. Introduction to Metamathematics (1952), Van Norstrand, Princeton, NJ
25. Krupski V. The single-conclusion proof logic and inference rules specification. Ann. Pure Appl. Logic 113 1-3 (2002) 181-201
26. V. Krupski, Referential logic of proofs, Theoret. Comput. Sci. 2005, accepted for publication.
27. Lehman D.J. Knowledge, common knowledge, and related puzzles. Proc. Third ACM Symp. on Principles of Distributed Computing (1984) 62-67
28. Lehrer K., and Paxson T. Knowledge: undefeated justified true belief. J. Philos. 66 (1969) 1-22
29. Lenzen W. Knowledge, belief and subjective probability. In: Jörgensen K., Hendricks V., and Pedersen S. (Eds). Knowledge Contributors (2003), Kluwer, Dordrecht
30. Lewis D. Convention. A Philosophical Study (1969), Harvard University Press, Cambridge, MA
31. Lewis D. Elusive knowledge. Austral. J. Philos. 7 (1996) 549-567
32. J. McCarthy, M. Sato, T. Hayashi, S. Igarishi, On the model theory of knowledge, Technical Report STAN-CS-78-667, Stanford University, 1978.
33. A. Mkrtychev, Models for the logic of proofs, in: S. Adian, A. Nerode (Eds.), Logical Foundations of Computer Science' 97, Yaroslavl', Lecture Notes in Computer Science, Vol. 1234, Springer-Verlag, New York, NY, 1997, pp. 266-275.
34. E. Nogina, Logic of proofs with the strong provability operator, Technical Report ILLC Prepublication Series ML-94-10, Institute for Logic, Language and Computation, University of Amsterdam, 1994.
35. Nogina E. Grzegorczyk logic with arithmetical proof operators. Fund. Appl. Math. 2 2 (1996) 483-499
36. Nozick R. Philosophical Explanations (1981), Harvard University Press, Cambridge, MA
37. Pacuit E. A note on some explicit modal logics. Fifth Panhellenic Logic Symposium. Athens (July 2005)
38. N.M. Rubtsova, Evidence-based knowledge for S5, Logic Colloq. 2005, Athens, August 2005.
39. T. Sidon, Provability logic with operations on proofs, in: S. Adian, A. Nerode (Eds.), Logical Foundations of Computer Science' 97, Yaroslavl', Lecture Notes in Computer Science, Vol. 1234, Springer-Verlag, New York, NY, 1997, pp. 342-353.
40. Troelstra A., and Schwichtenberg H. Basic Proof Theory (1996), Cambridge University Press, Amsterdam
41. van Benthem J. Reflections on epistemic logic. Logique Anal. 133-134 (1993) 5-14
42. Yavorskaya (Sidon) T. Logic of proofs and provability. Ann. Pure Appl. Logic 113 1-3 (2002) 345-372