MoL-2008-07: Multi-Player Logics

MoL-2008-07: Loohuis, Loes Olde (2008) Multi-Player Logics. [Report]

Text (Full Text)

Download (564kB) | Preview
[img] Text (Abstract)

Download (719B)


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.

Item Type: Report
Report Nr: MoL-2008-07
Series Name: Master of Logic Thesis (MoL) Series
Year: 2008
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38

Actions (login required)

View Item View Item