12 citations · 25 across the 8 of their papers we have counts for
8 papers
Public Announcements in Strategic Games with Arbitrary Strategy Sets
Krzysztof R. Apt, Jonathan A. Zvesper
In [Van Benthem 2007] the concept of a public announcement is used to study the effect of the iterated elimination of strictly dominated strategies. We offer a simple generalisatio…
Product closure of some second-order modal logics
Jonathan Zvesper
Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product upda…
The Role of Monotonicity in the Epistemic Analysis of Strategic Games
Krzysztof R. Apt, Jonathan A. Zvesper
It is well-known that in finite strategic games true common belief (or common knowledge) of rationality implies that the players will choose only strategies that survive the iterat…
Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets
Jonathan A. Zvesper, Krzysztof R. Apt
In the context of strategic games, we provide an axiomatic proof of the statement Common knowledge of rationality implies that the players will choose only strategies that survive…
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
Samson Abramsky, Jonathan Zvesper
We analyze the Brandenburger-Keisler paradox in epistemic game theory, which is a `two-person version of Russell's paradox'. Our aim is to understand how it relates to standard one…
Distributed iterated elimination of strictly dominated strategies
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
We characterize epistemic consequences of truthful communication among rational agents in a game-theoretic setting. To this end we introduce normal-form games equipped with an inte…