A guide to completeness and complexity for modal logics of knowledge and belief

&
Artificial Intelligence 54 (3):319-379 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90049-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,455

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.
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.
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.
Knowledge means 'all', Belief means 'most'.Dimitris Askounis, Costas D. Koutras & Yorgos Zikos - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin, Logics in Artificial Intelligence. Springer. pp. 41--53.
Epistemic Logic for AI and Computer Science.John-Jules Ch Meyer & Wiebe van der Hoek - 1995 - Cambridge University Press.
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.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
On the succinctness of some modal logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197 (C):56-85.

Analytics

Added to PP
2020-12-22

Downloads
53 (#476,861)

6 months
6 (#882,563)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joseph Y. Halpern
Cornell University

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.

View all 134 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
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 12 references / Add more references