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.LO2025
Seven kinds of equivalent models for generalized coalition logics
Zixuan Chen, Fengkui Ju
Coalition Logic is an important logic in logical research on strategic reasoning. In two recent papers, Li and Ju argued that generally, concurrent game models, models of Coalition…