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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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.
Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Knowledge. [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. 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.
Gordon Plotkin and Colin Stirling. A framework for intuitionistic modal logics. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 399–406. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):669.
Knowledge means 'all', Belief means 'most'.Dimitris Askounis, Costas D. Koutras & Yorgos Zikos - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 41--53.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
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.
Epistemic Logic for AI and Computer Science.John-Jules Ch Meyer & Wiebe van der Hoek - 1995 - Cambridge University Press.

Analytics

Added to PP
2020-12-22

Downloads
44 (#372,384)

6 months
24 (#121,857)

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.
Super-Strict Implications.Guido Gherardi & Eugenio Orlandelli - 2021 - Bulletin of the Section of Logic 50 (1):1-34.

View all 105 citations / Add more citations

References found in this work

Is Justified True Belief Knowledge?Edmund Gettier - 1963 - Analysis 23 (6):121-123.
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.

View all 14 references / Add more references