Reasoning about knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi [Book Review]

Journal of Logic, Language and Information 8 (4):469-473 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008224520671

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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 general possible worlds framework for reasoning about knowledge and belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.
Abstracts.Joseph Halpern - manuscript
On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
I'm OK if you're OK: On the notion of trusting communication. [REVIEW]Ronald Fagin & Joseph Y. Halpern - 1988 - Journal of Philosophical Logic 17 (4):329 - 354.
Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications.Wiebe van Der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
Reasoning about Knowledge: A Response by the Authors. [REVIEW]Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1997 - Minds and Machines 7 (1):113-113.

Analytics

Added to PP
2009-01-28

Downloads
41 (#389,886)

6 months
7 (#437,422)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Goranko
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references