A nonstandard approach to the logical omniscience problem

, &
Artificial Intelligence 79 (2):203-240 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)00060-3

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. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp. [REVIEW]Rohit Parikh - 1997 - Journal of Symbolic Logic 62 (4):1484-1487.
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.
N.J. Nilsson, Artificial Intelligence: A New Synthesis T. Dean, J. Allen and Y. Aloimonos, Artificial Intelligence: Theory and Practice D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: A Logical Approach S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. [REVIEW]Benedict du Boulay - 2001 - Artificial Intelligence 125 (1-2):227-232.
Dealing with logical omniscience: Expressiveness and pragmatics.Joseph Y. Halpern & Riccardo Pucella - 2011 - Artificial Intelligence 175 (1):220-235.
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.
Quantified logic of awareness and impossible possible worlds.Giacomo Sillari - 2008 - Review of Symbolic Logic 1 (4):514-529.
Joseph Y. Halpern, reasoning about uncertainty.Igor Kozine - 2007 - Studia Logica 85 (3):411-412.
A pragmatic approach to the problem of logical omniscience.Paul Egré - unknown

Analytics

Added to PP
2020-12-22

Downloads
17 (#1,149,837)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

The Problem of Rational Knowledge.Mark Jago - 2013 - Erkenntnis (S6):1-18.
Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.

View all 19 citations / Add more citations

References found in this work

Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.

View all 10 references / Add more references