Bulletin of Symbolic Logic 7 (2):213-236 (2001)

Joseph Y. Halpern
Cornell University
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2687775
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,319
Through your library

References found in this work BETA

On Computable Numbers, with an Application to the N Tscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
The Unreasonable Effectiveness of Mathematics in the Natural Sciences.Eugene Wigner - 1960 - Communications in Pure and Applied Mathematics 13:1-14.

View all 15 references / Add more references

Citations of this work BETA

Model Checking Hybrid Logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.
Belief in the Singularity is Logically Brittle.Selmer Bringsjord - 2012 - Journal of Consciousness Studies 19 (7-8):14.

View all 11 citations / Add more citations

Similar books and articles


Added to PP index

Total views
19 ( #560,506 of 2,448,683 )

Recent downloads (6 months)
1 ( #447,034 of 2,448,683 )

How can I increase my downloads?


My notes