Levesque's axiomatization of only knowing is incomplete

&
Artificial Intelligence 74 (2):381-387 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(95)00007-2

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,619

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.
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.
Semantical considerations on multiagent only knowing.Vaishak Belle & Gerhard Lakemeyer - 2015 - Artificial Intelligence 223 (C):1-26.
On the decidability and complexity of reasoning about only knowing.Riccardo Rosati - 2000 - Artificial Intelligence 116 (1-2):193-215.
Joseph Y. Halpern, reasoning about uncertainty.Igor Kozine - 2007 - Studia Logica 85 (3):411-412.

Analytics

Added to PP
2020-12-22

Downloads
14 (#1,266,254)

6 months
8 (#544,167)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joseph Y. Halpern
Cornell University

Citations of this work

Add more citations

References found in this work

All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.

Add more references