Multi-Player Logics
Loes Olde Loohuis

Abstract:
In this thesis we generalize standard two-player game semantics to a
multi-player setting. We develop a multi-player propositional logic
(MPL), a multi-player modal logic (MML) and a multi-player modal
mu-calculus (muMML), for any finite set of players.

The thesis will revolve around the logics MPL and MML. After
introducing and discussing some of their basic properties, we study
the logics algebraically. The main results are two algebraic
representation theorems: a multi-player version of Stone's
representation theorem for MPL and an analogue of Jónsson Tarski
theorem for MML.

We conclude by discussing computability and complexity of the logics
MPL and MML.