-
33Errata: Meinongian theories and a Russellian paradoxNoûs 13 (1): 125. 1979.List of errata to Rapaport, William J. (1978), "Meinongian Theories and a Russellian Paradox", Noûs 12: 153-180
-
31Raymond M. Smullyan. Logicians who reason about themselves. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 341–352 (review)Journal of Symbolic Logic 53 (2): 668-669. 1988.
-
31
-
30Kurt Konolige. What awareness isn't: a sentential view of implicit and explicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 241–250 (review)Journal of Symbolic Logic 53 (2): 667-668. 1988.
-
28Jim 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)Journal of Symbolic Logic 53 (2): 665-666. 1988.
-
27Lambert Karel. Meinong and the principle of independence. Its place in Meinong's theory of objects and its significance in contemporary philosophical logic. Modern European philosophy. Cambridge University Press, Cambridge etc. 1983, xvi + 175 pp (review)Journal of Symbolic Logic 51 (1): 248-252. 1986.
-
26A Resolution Method for Quantified Modal Logics of Knowledge and BeliefJournal of Symbolic Logic 53 (2): 668. 1988.
-
26Gerhard Lakemeyer. Steps towards a first-order logic of explicit and implicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 325–340 (review)Journal of Symbolic Logic 53 (2): 668. 1988.
-
25Review: Raymond M. Smullyan, Logicians who Reason about Themselves (review)Journal of Symbolic Logic 53 (2): 668-669. 1988.
-
25Brian 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)Journal of Symbolic Logic 53 (2): 661-662. 1988.
-
23"Exploring Meinong's Jungle and Beyond" by Richard Routley (review)Philosophy and Phenomenological Research 44 (4): 539. 1984.
-
23Gordon 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)Journal of Symbolic Logic 53 (2): 669. 1988.
-
22Fred 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 (review)Journal of Symbolic Logic 53 (2): 662-663. 1988.
-
22Review: Cynthia Dwork, Yoram Moses, Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures (review)Journal of Symbolic Logic 53 (2): 666-666. 1988.
-
20Stanley J. Rosenschein and Leslie Pack Kaelbling. The synthesis of digital machines with provable epistemic properties. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 83–98 (review)Journal of Symbolic Logic 53 (2): 664. 1988.
-
19Leora 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 (review)Journal of Symbolic Logic 53 (2): 664-665. 1988.
-
17Jaakko Hintikka. Reasoning about knowledge in philosophy: the paradigm of epistemic logic. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 63–80 (review)Journal of Symbolic Logic 53 (2): 663-664. 1988.
-
17Joseph 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)Journal of Symbolic Logic 53 (2): 660-661. 1988.
-
15Review: Gerhard Lakemeyer, Steps Towards a First-Order Logic of Explicit and Implicit Belief (review)Journal of Symbolic Logic 53 (2): 668-668. 1988.
-
14Review: Jaakko Hintikka, Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logic (review)Journal of Symbolic Logic 53 (2): 663-664. 1988.
-
9Review: Brian Cantwell Smith, Varieties of Self-Reference (review)Journal of Symbolic Logic 53 (2): 661-662. 1988.
-
9Meinong and the Principle of Independence. Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical LogicJournal of Symbolic Logic 51 (1): 248-252. 1986.
-
9Review: Joseph Y. Halpern, Reasoning About Knowledge: An Overview (review)Journal of Symbolic Logic 53 (2): 660-661. 1988.
-
7Review: Richmond H. Thomason, Paradoxes and Semantic Representation (review)Journal of Symbolic Logic 53 (2): 667-667. 1988.
-
6Review: Kurt Konolige, What Awareness Isn't: A Sentential View of Implicit and Explicit Belief (review)Journal of Symbolic Logic 53 (2): 667-668. 1988.
-
6Review: Jim des Rivieres, Hector J. Levesque, The Consistency of Syntactical Treatments of Knowledge (review)Journal of Symbolic Logic 53 (2): 665-666. 1988.
Buffalo, New York, United States of America
Areas of Specialization
Philosophy of Computation, Misc |
Philosophy of Cognitive Science |
Philosophy of Mind |
Philosophy of Language |
Areas of Interest
6 more