Logical omniscience and common knowledge; What do we know and what do we know?

Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge

Volumn , Issue , 2005, Pages 62-77

  Parikh, Rohit ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICS OF KNOWLEDGE; OMNISCIENCE;

SEMANTICS;

KNOWLEDGE BASED SYSTEMS;

EID: 32144440288     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. [AN05] Artemov, S., and E. Nogina, "Basic epistemic logics with justifications", Technical report TR-2005004, CUNY Ph.D. program in Computer Science, 2005. To appear in TARK-X.
2. [Art04] Artemov, S., "Evidence based common knowledge", Technical report TR-2004018, CUNY Ph.D. program in Computer Science, to appear in TCS.
3. [Aum] Aumann, R., "Agreeing to disagree", Annals of Statistics, 4 (1976) 1236-1239.
4. [Block80] Block, N., "Introduction: what is functionalism?", in Readings in Philosophy of Psychology, (Ned Block, editor) Harvard University Press (1980) 171-184.
5. [CM81] Clark, H., and C. Marshall, "Definite reference and mutual knowledge", in Elements of Discourse Understanding, Ed. Joshi, Webber and Sag, Cambridge U. Press 1981, 10-63.
6. [CM86] Chandy, M., and J. Misra, "How processes learn", Distributed Computing, 1, (1986) 40-52.
7. [CW05] Chopra, S., and L. White, "Attribution of Knowledge to Artificial Agents and their Principals", Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, August 2005, forthcoming.
8. [D] F. Dretske, Knowledge and the flow of information, MIT Press, 1981.
9. [FHMV] Fagin, R., Halpern, J., Moses, Y. and Vardi, M., Reasoning about knowledge, M.I.T. Press, 1995.
10. [Fit04] Fitting, M., "A logic for explicit knowledge", to appear in proceedings of Lgica 2004.
11. [Gaif04] Gaifman, H., "Reasoning with limited resources and assigning probabilities to arithmetical statements", Synthese, 140 (2004) 97-119.
12. [Hay36] Hayek, F.A., Individualism and Economic Order, University of Chicago Press. See especially chapters II and IV.
13. [HF] J. Halpern and R. Fagin, "A formal model of knowledge, action and communication in a distributed system", in ACM PODC 1985, pp 224-236.
14. [HM] J. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment", in ACM PODC 1984, pp 50-61.
15. [KPN] Krasucki, P., Parikh, R., and Ndjatou, N., "Probabilistic Knowledge and Probabilistic Common Knowledge" ISMIS 90, North Holland 1990, 1-8.
16. [Noz81] Nozick, R., Philosophical Explanations, Harvard University Press, 1981.
17. [Pa86] Parikh, R., "Levels of Knowledge in Distributed Computing", in Proc IEEE Symposium on Logic in Computer Science, June 1986, 314-321.
18. [Pa87] Parikh, R., "Knowledge and the Problem of Logical Omniscience" ISMIS- 87 (International Symp. on Methodology for IntelligentSystems), North Holland (1987) 432-439.
19. [Pa91] Parikh, R., "Finite and Infinite Dialogues", in the Proceedings of a Workshop on Logic from Computer Science, Ed. Moschovakis, MSRI publications, Springer 1991 481-498.
20. [Pa91b] Parikh, R., "Propositions, propositional attitudes and belief revision" in K. Segerberg, M. Zakharyaschev, M. de Rijke, H. Wansing, editors, Advances in Modal Logic, Volume 2, CSLI Publications, 2001.
21. [P94a] Parikh, R., "Logical omniscience" in Logic and Computational Complexity, LNCS 960, 22-29.
22. [P95] Parikh, R., Knowledge based computation (Extended abstract), in Proceedings of AMAST-95, Montreal, July 1995, Edited by Alagar and Nivat, Lecture Notes ib Computer Science no. 936, 127-42.
23. [Pa95b] Parikh, R., "Logical omniscience", in Logic and Computational Complexity Ed. Leivant, Springer Lecture Notes in Computer Science no. 960, (1995) 22-29.
24. [Pa02] Parikh, R., "Social Software", Synthese, 132, Sep 2002, 187-211.
25. [P03] Parikh, R., Levels of knowledge, games, and group action, in Research in Economics, 57, (2003) 267-281.
26. [PK] Parikh, R., and P. Krasucki, "Levels of knowledge in distributed computing", Sadhana - Proc. Ind. Acad. Sci. 17 (1992) 167-191.
27. [PaPa] Pacuit, E., and R. Parikh, A Logic for communication graphs, to appear in the proceedings of DALT 2004.
28. [PR'85] Parikh, R., and R. Ramanujam, Distributed processes and the logic of knowledge, in Logic of Programs, LNCS #193, Springer 1985, 256-268.
29. [PR'03] Parikh, R., and R. Ramanujam, A Knowledge based Semantics of Messages, in J. Logic, Language and Information, 12, (2003) 453-467.
30. [Ram26] Ramsey, F.P., "Truth and probability', in The Foundations of Mathematics, Routledge and Kegan Paul (1931), 156-198.
31. [Sav54] Savage, Leonard, The Foundations of Statistics, Wiley 1954.
32. [Stal99] Stalnaker, R., Context and Content, Oxford University Press, 1999.
33. [Witt] Wittgenstein, L., Philosophical Investigations, MacMillan, 1958.
34. [Ye99] Ye, Ruili, Belief, Names and Modes of Presentation, Doctoral dissertation, CUNY 1999.