-
99Reasoning about knowledgeMIT Press. 2003.Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
-
46Review: Ronald Fagin, Moshe Y. Vardi, Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary ReportJournal of Symbolic Logic 53 (2): 667. 1988.
-
282What is an inference rule?Journal of Symbolic Logic 57 (3): 1018-1045. 1992.What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbr…Read more
-
57Reasoning about Knowledge: A Response by the Authors (review)Minds and Machines 7 (1): 113-113. 1997.
-
67I'm OK if you're OK: On the notion of trusting communication (review)Journal of Philosophical Logic 17 (4). 1988.We consider the issue of what an agent or a processor needs to know in order to know that its messages are true. This may be viewed as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker considerations than honesty are investigated with the property that provided every message sent…Read more
-
11A nonstandard approach to the logical omniscience problemArtificial Intelligence 79 (2): 203-240. 1995.
-
12Two views of belief: belief as generalized probability and belief as evidenceArtificial Intelligence 54 (3): 275-317. 1992.
-
47Comparing the power of games on graphsMathematical Logic Quarterly 43 (4): 431-455. 1997.The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descriptive complexity is to make use of games on graphs played between two players, called the spoiler and the duplicator. There are two types of these games, which differ in the order in which the spoiler and duplicator make various moves. In one of these games, the rules seem to be tilted towards favoring the duplicator. The…Read more
-
51A quantitative analysis of modal logicJournal of Symbolic Logic 59 (1): 209-252. 1994.We do a quantitative analysis of modal logic. For example, for each Kripke structure M, we study the least ordinal μ such that for each state of M, the beliefs of up to level μ characterize the agents' beliefs (that is, there is only one way to extend these beliefs to higher levels). As another example, we show the equivalence of three conditions, that on the face of it look quite different, for what it means to say that the agents' beliefs have a countable description, or putting it another way…Read more
-
13Fifth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK V)Journal of Logic, Language, and Information 2 (338). 1993.
-
24
-
16A two‐cardinal characterization of double spectraMathematical Logic Quarterly 21 (1): 121-122. 1975.
-
47Reachability is harder for directed than for undirected finite graphsJournal of Symbolic Logic 55 (1): 113-150. 1990.Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential mon…Read more
Areas of Specialization
Logics, Misc |
Areas of Interest
Epistemology |
Logic and Philosophy of Logic |
Logics, Misc |