3 papers
cs.GT2026
Representation theorems for actual and alpha powers over general concurrent game frames without assuming independence of agents
Zixuan Chen, Fengkui Ju, Thomas Agotnes
Concurrent game frames are a standard semantic framework for logics of strategic reasoning. Two notions of coalition power can be derived from such frames: alpha powers and actual…
cs.GT2026
Representation theorems for actual and alpha powers over two-agent general concurrent game frames
Zixuan Chen, Fengkui Ju, Thomas Agotnes
One of the most well-known connections between modal logic and games is Pauly's representation theorem: that the induced powers of individuals and coalitions in a concurrent game f…
cs.AI2026
Common Belief Revisited
Thomas à gotnes
Contrary to common belief, common belief is not KD4. If individual belief is KD45, common belief does indeed lose the 5 property and keep the D and 4 properties -- and it has none…