Logical omniscience

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 960, Issue , 1995, Pages 22-29

  Parikh, Rohit ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957650617     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60178-3_77     Document Type: Conference Paper

References (15)

1. M. Chandy and J. Misra, "How processes learn," Distributed Computing 1 (1986) pp. 40-52.
2. J. Hintikka, Knowledge and Belief, Cornell University Press, 1962.
3. J. Halpern and Y. Moses, "Knowledge and Common Knowledge in a distributed Environment," ACM-PODC 1984, PP- 50-61.
4. Y. Moses, "Resource-bounded knowledge" in Theoretical Aspects of Reasoning about Knowledge, ed. M. Yardi, Morgan Kaufmann 1988, pp. 261-276.
5. J. Halpern, Y. Moses, and M. Tuttle, "A Knowledge-based analysis of zero knowledge," in Proc. 20th Annual ACM Symp. on Theory of Computing pp. 132-147.
6. J. Halpern, Y. Moses, and M. Vardi, "Algorithmic knowledge," in Theoretical Aspects of Reasoning about Knowledge, ed. R. Fagin, Morgan Kaufmann 1994, pp. 255-266.
7. B. Lipman, "An Axiomatic approach to the logical omniscience problem," in Theoretical Aspects of Reasoning about Knowledge, ed. R. Fagin, Morgan Kaufmann 1994, pp. 182-196.
8. G. Grube (translator), Five Dialogues of Plato, Hackett publishing company, 1981.
9. R. Parikh, "Knowledge and the problem of logical omniscience" ISMIS-87 (International Symp. on Methodology for Intelligent Systems), ed. Z. Ras and M. Zemankova, North Holland (1987) pp. 432-439.
10. R. Parikh, "Finite and Infinite Dialogues," in the Proceedings of a Workshop on Logic from Computer Science, ed. Moschovakis, MSRI publications, Springer 1991 pp. 481-498.
11. R. Parikh and R. Ramanujam "Distributed Processing and the Logic of Knowledge," in Logics of Programs, Proceedings of a Conference at Brooklyn College, June 1985, Springer Lecture Notes in Computer Science #193. pp. 256-268.
12. C. Papadimitriou and M. Yannakakis, "On Complexity as bounded rationality," in Proc. 26th Annual ACM Symp. on Theory of Computing (1994) pp. 726-732.
13. M. Rabin and D. Scott, "Finite automata and their decision problems," IBM Jour. Res. Dev. 3 (1959) 114-125.
14. G. Ryle, The Concept of Mind, Barnes and Noble 1949.
15. R. Stalnaker, "The Problem of logical omniscience" Synthese 89 (1991) pp. 425-440.