Operational pointer semantics: Solution to self-referential puzzles I

In M. Y. Vardi, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge. Morgan Kaufman. pp. 43–60 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

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

Three Views of Common Knowledge.Jon Barwise - 1988 - In M. Y. Vardi, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge. Morgan Kaufman. pp. 365–379.
Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge: March 19-22, 1988, Monterey, California.Joseph Y. Halpern, International Business Machines Corporation, American Association of Artificial Intelligence, United States & Association for Computing Machinery - 1986
Brian Cantwell Smith. Varieties of self-reference. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 19–43. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):661-662.
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.William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):660-661.
A Resolution Method for Quantified Modal Logics of Knowledge and Belief.William J. Rapaport, Christophe Geissler & Kurt Konolige - 1988 - Journal of Symbolic Logic 53 (2):668.
Mind the Croc! Rationality Gaps vis-à-vis the Crocodile Paradox.Stamatios Gerogiorgakis - 2016 - History and Philosophy of Logic 37 (2):101-113.
Leora Morgenstern. A first order theory of planning, knowledge, and action. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 99–114.William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):664-665.
Jim Des Rivières and Hector J. Levesque. The consistency of syntactical treatments of knowledge. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 115–130. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):665-666.
Fifth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK V).Ronald Fagin - 1993 - Journal of Logic, Language, and Information 2 (338).
Fred Landman. Pegs and alecs. An abridged version of LIII 656. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 45–61.William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):662-663.

Analytics

Added to PP
2011-07-18

Downloads
1 (#2,387,399)

6 months
1 (#2,184,524)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Photo of Haim Gaifman
Haim Gaifman
Columbia University

Citations of this work

The liar in context.Michael Glanzberg - 2001 - Philosophical Studies 103 (3):217 - 251.
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references