Characterizing and reasoning about probabilistic and
non-probabilistic expectation, Journal of the ACM
54:3, 2007 (with R. Pucella).
Complete axiomatizations for reasoning
about knowledge and time,
SIAM Journal on Computing 33:2, 2004, pp. 674-703
(with R. van der Meyden and M. Vardi).
Interactive awareness
revisited, Games and Economic Behavior 62:1, 2008,
pp. 232-262 (with L. Rego)
Reasoning about knowledge of
unawareness, Games and Economic Behavior 67:2, 2009,
pp. 503-525
(with L. Rego)
Characterizing the NP-PSPACE gap
in the satisfiability problem for modal logic,
Journal of Logic and Computation 17:4,
pp. 795-806, 2007 (with L. Rego).
Dealing with logical
omniscience, Artificial Intelligence
175:1, 2011, pp. 220-235 (with R. Pucella).
On definability in multimodal
logic, Review of Symbolic Logic 2:3, 2009,
(with D. Samet and E. Segev).
Defining knowledge in terms
of belief: the modal logic perspective, Review of
Symbolic Logic
(with D. Samet and E. Segev).
A logical characterization of iterated
admissibility,
Proceedings of Twelfth Conference on Theoretical Aspects of
Rationality and Knowledge, 2009, pp. 146-155 (with R. Pass).
An epistemic characterization of zero
knowledge,
Proceedings of Twelfth Conference on Theoretical Aspects of
Rationality and Knowledge, 2009, pp. 156-165 (with R. Pass and
V. Raman).
Reasoning about knowledge of
unawareness revisited, Games and Economic Behavior
67:2, 2009, pp. 503-525 (with L. C. Rego).
Awareness in games, awareness in logic, Proceedings of
LPAR-17 Lecture Notes in Computer Science, vol. 6397, Springer,
2010, p. 15.
Conservative belief and rationality,
Games and Economic Behavior 80, pp. 186-192 (with R. Pass).
Reasoning about justified belief,
Thirteenth Conference on Theoretical Aspects of Rationality and
Knowledge, 2011, pp. 221-227 (with A. Bjorndahl and R. Pass).
Ambiguous language and differences in
beliefs, Proceedings of the Thirteenth International
Conference on Principles of Knowledge Representation and Reasoning (KR
2012), 2012, pp. 329-338 (with W. Kets).
A logic for reasoning about
ambiguity, Artificial Intelligence 209, 2014
(with W. Kets).
Reasoning about rationality,
Games and Economic Behavior 104, 2017,
pp. 146-164 (with A. Bjorndahl and R. Pass).
An introduction to logics of
knowledge and belief, in Handbook of Epistemic
Logic (H. van
Ditmarsch, J. Y. Halpern, W. van der Hoek, and
B. Kooi, editors), College Publications, 2015, pp. 1-51.
A knowledge-based analysis of
the blockchain protocol, Proceedings of Sixteenth Conference on Theoretical Aspects of
Rationality Knowledge (TARK), Electronic Proceedings in
Theoretical Computer Science 251, 2017,
pp. 324-335 (with R. Pass).
Why bother with syntax?, Rohit
Parikh on Logic, Language
and Society (C. Baskent, L. Moss, and R. Ramanujam, editors), 2017,
pp. 111-119.
Partial Awareness,
Proceedings of the Thirty-Third AAAI Conference on
Artificial Intelligence (AAAI-19), 201 (with E. Piermont).
Dynamic partial
awareness, Proceedings of the Seventeenth
International Conference on Principles of Knowledge Representation
and Reasoning (KR 2020), 2020 (with E. Piermont).
A conceptually well-founded characterization of
iterated admissibility using an ``all I know'' operator,
Proceedings of Seventeenth Conference on Theoretical Aspects of
Rationality
and Knowledge (TARK), Electronic Proceedings in Theoretical Computer
Science, 2019 (with R. Pass).
Reasoning about causal models with infinitely many variables,
Proceedings
of the Thirty-Sixth AAAI Conference on Artificial Intelligence
(AAAI-21), 2022 (with S. Peters).
Joint behavior and common
belief, Proceedings of Ninteenth Conference on Theoretical Aspects of
Rationality and Knowledge (TARK), Electronic
Proceedings in Theoretical Computer
Science 379, 2023, pp. 221-232.
complete,
Journal of Symbolic Logic 56:2, 1991, pp. 637-642.