Dealing with logical omniscience

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2007

Volumn , Issue , 2007, Pages 169-176

  Halpern, Joseph Y ^a   Pucella, Riccardo ^b  

^a Cornell University ^*  (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EPISTEMIC STATE; LOGICAL OMNISCIENCE; POSSIBLE WORLDS; SYNTACTIC APPROACH;

EID: 47949123114     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1324249.1324273     Document Type: Conference Paper

References (20)

1. Artemov, S. and E. Nogina (2005). On epistemic logic with justification. In Proc. 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'05), pp. 279-294.
2. Cozic, M. (2005). Impossible states at work: Logical omniscience and rational choice. In Proc. First Paris-Amsterdam Meeting of Young Researchers.
3. Eberle, R. A. (1974). A logic of believing, knowing and inferring. Synthese 26, 356-382.
4. Fagin, R. and J. Y. Halpern (1988). Belief, awareness, and limited reasoning. Artificial Intelligence 34, 39-76.
5. Fagin, R. and J. Y. Halpern (1994). Reasoning about knowledge and probability. Journal of the ACM 41(2), 340-367.
6. Fagin, R., J. Y. Halpern, and N. Megiddo (1990). A logic for reasoning about probabilities. Information and Computation 87 (1/2), 78-128.
7. Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi (1995). Reasoning about Knowledge. MIT Press.
8. Fitting, M. (2005). A logic of explicit knowledge. In L. Behounek and M. Bilkova (Eds.), Logica Yearbook 2004, pp. 11-22. Filosophia.
9. Halpern, J. Y., Y. Moses, and M. Y. Vardi (1994). Algorithmic knowledge. In Proc. 5th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'94), pp. 255-266. Morgan Kaufmann.
10. Halpern, J. Y. and R. Pucella (2007). Dealing with logical omniscience: Expressiveness and pragmatics. Preprint arXiv:cs.LO/0702011.
11. Halpern, J. Y. and L. C. Rêgo (2006a). Extensive games with possibly unaware players. In Proc. Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 744-751.
12. Halpern, J. Y. and L. C. Rêgo (2006b). Reasoning about knowledge of unawareness. In Principles of Knowledge Representation and Reasoning: Proc. Tenth International Conference (KR '06), pp. 6-13. Full version available at arxiv.org/cs.LO/0603020.
13. Heifetz, A., M. Meier, and B. Schipper (2003). Multiperson unawareness. In Proc. 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'03), pp. 148-158. To appear in Journal of Economic Theory under the title "Interactive Unawareness".
14. Konolige, K. (1986). A Deduction Model of Belief. San Francisco: Morgan Kaufmann.
15. Moore, R. C. and G. Hendrix (1979). Computational models of beliefs and the semantics of belief sentences. Technical Note 187, SRI International, Menlo Park, Calif.
16. Moreno, A. (1998). Avoiding logical omniscience and perfect reasoning: A survey. AI Communications 11(2), 101-122.
17. Moses, Y. and M. R. Tuttle (1988). Programming simultaneous actions using common knowledge. Algorithmica 3, 121-169. (Pubitemid 18550591)
18. Ramanujam, R. (1999). View-based explicit knowledge. Annals of Pure and Applied Logic 96 (1-3), 343-368.
19. Rantala, V. (1982). Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica 35, 18-24.
20. Wansing, H. (1990). A general possible worlds framework for reasoning about knowledge and belief. Studia Logica 49(4), 523-539.