4 papers
Capturing Bisimulation-Invariant Exponential-Space Complexity Classes
Florian Bruse, David Kronenberger, Martin Lange
Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus. This extends to a characteris…
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…
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…
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…