Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets - Krzysztof R. Apt; Jonathan A. Zvesper (CoRR, 2007)

Explicit Knowledge Programming for Computer Games. - Andreas Witzel; Jonathan A. Zvesper; Ethan Kennerly (AIIDE, 2008)

Epistemic logic and explicit knowledge in distributed programming. - Andreas Witzel; Jonathan A. Zvesper (AAMAS (3), 2008)

A Note on Assumption-Completeness in Modal Logic. - Jonathan A. Zvesper; Eric Pacuit (LOFT, 2008)

Thief belief. - Ethan Kennerly; Andreas Witzel; Jonathan A. Zvesper (ICE-GIC, 2009)

Strategy Elimination in Games with Interaction Structures. - Andreas Witzel; Krzysztof R. Apt; Jonathan A. Zvesper (LORI, 2009)

Common knowledge in interaction structures. - Krzysztof R. Apt; Andreas Witzel; Jonathan A. Zvesper (TARK, 2009)

Keep 'hoping' for rationality: a solution to the backward induction paradox. - Alexandru Baltag; Sonja Smets; Jonathan A. Zvesper (Synth., 2009)

Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. - Jonathan A. Zvesper; Krzysztof R. Apt (CLIMA, 2010)

Public Announcements in Strategic Games with Arbitrary Strategy Sets - Krzysztof R. Apt; Jonathan A. Zvesper (CoRR, 2010)

The Role of Monotonicity in the Epistemic Analysis of Strategic Games. - Krzysztof R. Apt; Jonathan A. Zvesper (Games, 2010)

Dynamics we can believe in: a view from the Amsterdam School on the centenary of Evert Willem Beth. - Cédric Dégremont; Jonathan A. Zvesper (Synth., 2011)

Distributed iterated elimination of strictly dominated strategies. - Andreas Witzel; Krzysztof R. Apt; Jonathan A. Zvesper (Auton. Agents Multi Agent Syst., 2012)

From Lawvere to Brandenburger-Keisler: Interactive forms of diagonalization and self-reference. - Samson Abramsky; Jonathan A. Zvesper (J. Comput. Syst. Sci., 2015)