Team Semantics for Modal mu-Calculus
Raúl Ruiz Mora

Abstract:
Abstract. In this thesis, we define a team semantics for modal mu-calculus, show it enjoys the flatness property and aligns well with existing team temporal logics. The approach taken utilises team semantics for modal logic and involves an algebraic study of powerset structures in order to assign a reasonable team semantics to fixed-points.