Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp [Book Review]

Journal of Symbolic Logic 62 (4):1484-1487 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275656

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning about knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. [REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (4):469-473.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi, Reasoning about Knowledge. [REVIEW]V. Goranko - 1999 - Journal of Logic Language and Information 8:469-473.
Joseph Y. Halpern. Reasoning about Uncertainty. MIT Press Cambridge, MA, 2003, xiv + 483 pp. [REVIEW]Ian Pratt-Hartmann - 2004 - Bulletin of Symbolic Logic 10 (3):427-429.
Joseph Y. Halpern. Reasoning about knowledge: an overview. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 1–17. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):660-661.
Brian Cantwell Smith. Varieties of self-reference. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 19–43. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):661-662.
Leora Morgenstern. A first order theory of planning, knowledge, and action. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 99–114. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):664-665.
Jim Des Rivières and Hector J. Levesque. The consistency of syntactical treatments of knowledge. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 115–130. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):665-666.
Grigoris Antoniou. Nonmonotonic reasoning. With contributions by Mary-Anne Williams. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1997, xiii + 285 pp. [REVIEW]Marek A. Suchenek - 2000 - Bulletin of Symbolic Logic 6 (4):484-490.

Analytics

Added to PP
2013-10-31

Downloads
63 (#336,720)

6 months
13 (#257,195)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rohit Parikh
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references