The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2008"

AuteurLoes Olde Loohuis
TitelMulti-Player Logics
Jaar2008
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
SerieILLC Master of Logic Theses / ILLC ; MoL-2008-07
SamenvattingMulti-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.
Soort documentPreprint
Download bestand
Document finderUvA-Linker