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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

A semantic characterization of a useful fragment of the situation calculus with knowledge.Gerhard Lakemeyer & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):142-164.
An axiomatization of the modal theory of the veiled recession frame.W. J. Blok - 1979 - Studia Logica 38 (1):37 - 47.
A Logical Theory of Localization.Vaishak Belle & Hector J. Levesque - 2016 - Studia Logica 104 (4):741-772.
Knowing-that, Knowing-how, or Knowing-to?Yong Huang - 2017 - Journal of Philosophical Research 42:65-94.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Incomplete understanding of concepts and knowing in part what something is.André J. Abath - 2020 - Principia: An International Journal of Epistemology 24 (2).
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
The Logic of Knowledge Bases.Hector J. Levesque & Gerhard Lakemeyer - 2001 - MIT Press.
An Analysis of Knowing. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (2):324-324.
What our Rylean Ancestors Knew: More on Knowing How and Knowing That.Joseph Shieber - 2003 - Austrian Ludwig Wittgenstein Society 11:328-330.
Knowing‐Wh and Embedded Questions.Ted Parent - 2014 - Philosophy Compass 9 (2):81-95.
Reasoning about noisy sensors and effectors in the situation calculus.Fahiem Bacchus, Joseph Y. Halpern & Hector J. Levesque - 1999 - Artificial Intelligence 111 (1-2):171-208.
Incompleteness and the romance with science.Dr Marvin Kirsh - 2007
An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
Knowing-that, knowing-how, and knowing philosophically.Stephen Hetherington - 2008 - Grazer Philosophische Studien 77 (1):307-324.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,461,169)

6 months
3 (#976,558)

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