MoL-2008-07: Multi-Player Logics

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

[thumbnail of Full Text]
Text (Full Text)

Download (564kB) | Preview
[thumbnail of Abstract] 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