-
32Thought, Language, and Ontology, Essays in Memory of Hector-Neri Castaneda (edited book)Kluwer Academic Publishers. 1998.The late Hector-Neri Castañeda, the Mahlon Powell Professor of Philosophy at Indiana University, and founding editor of Noûs, has deeply influenced current analytic philosophy with diverse contributions, including guise theory, the theory of indicators and quasi-indicators, and the proposition/practition theory. This volume collects 15 papers--for the most part previously unpublished--in ontology, philosophy of language, cognitive science, and related areas by ex-students of Professor Castañeda,…Read more
-
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.
-
29Kurt 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.
-
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.
-
26
-
25Review: Raymond M. Smullyan, Logicians who Reason about Themselves (review)Journal of Symbolic Logic 53 (2): 668-669. 1988.
-
24A Resolution Method for Quantified Modal Logics of Knowledge and BeliefJournal of Symbolic Logic 53 (2): 668. 1988.
-
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.
-
22"Exploring Meinong's Jungle and Beyond" by Richard Routley (review)Philosophy and Phenomenological Research 44 (4): 539. 1984.
-
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.
-
21Gerhard 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.
-
21Fred 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.
-
21Jim 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.
-
20Brian 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.
-
19Stanley 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.
-
18Leora 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.
-
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.
-
16Jaakko 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.
-
13Review: Gerhard Lakemeyer, Steps Towards a First-Order Logic of Explicit and Implicit Belief (review)Journal of Symbolic Logic 53 (2): 668-668. 1988.
-
12Review: Jaakko Hintikka, Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logic (review)Journal of Symbolic Logic 53 (2): 663-664. 1988.
-
9Review: Joseph Y. Halpern, Reasoning About Knowledge: An Overview (review)Journal of Symbolic Logic 53 (2): 660-661. 1988.
-
8Review: Brian Cantwell Smith, Varieties of Self-Reference (review)Journal of Symbolic Logic 53 (2): 661-662. 1988.
-
7Meinong 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.
-
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.
-
5Review: 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