Showing cs.GTShow all
2 papers · 1 filter
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…