-
Uwe Schoning and Randall Pruim, Gems of Theoretical Computer ScienceJournal of Logic Language and Information 9 (1): 131-132. 2000.
-
30Meeting of the association for symbolic logic: New York city, may 1987Journal of Symbolic Logic 53 (4): 1270-1274. 1988.
-
2Review: Robert Goldblatt, Logics of Time and Computation (review)Journal of Symbolic Logic 60 (1): 347-347. 1995.
-
45On Kripke's Puzzle about Time and ThoughtIn Kamal Lodaya (ed.), Logic and Its Applications, Springer. pp. 121--126. 2013.
-
13Goldblatt Robert. Logics of time and computation. Second edition of LVI 1495. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1992, also distributed by the University of Chicago Press, Chicago, ix + 180 pp (review)Journal of Symbolic Logic 60 (1): 347-347. 1995.
-
21Completeness of Certain Bimodal Logics for Subset SpacesStudia Logica 71 (1): 1-30. 2002.Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states.In [2] a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.We give here a c…Read more
-
80A knowledge based semantics of messagesJournal of Logic, Language and Information 12 (4): 453-467. 2003.We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, impl…Read more
-
81997-1998 Winter Meeting of the Association for Symbolic LogicBulletin of Symbolic Logic 4 (2): 217-224. 1998.
-
Some Remarks on Knowledge, Games and SocietyJournal of the Indian Council of Philosophical Research 27 (1). 2010.
-
17Review of “If P, then Q; Conditionals and the Foundations of Reasoning” (review)Essays in Philosophy 7 (1): 12. 2006.
New York City, New York, United States of America
Areas of Specialization
Philosophy of Language |
Logic and Philosophy of Logic |