12 citations · 25 across the 8 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2010
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…
math.LO2010
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…