MoL-2023-12: Team Semantics for Modal mu-Calculus

MoL-2023-12: Mora, Raúl Ruiz (2023) Team Semantics for Modal mu-Calculus. [Report]

[thumbnail of MoL-2023-12.text.pdf] Text

Download (621kB)


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.

Item Type: Report
Report Nr: MoL-2023-12
Series Name: Master of Logic Thesis (MoL) Series
Year: 2023
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 31 Jul 2023 12:58
Last Modified: 31 Jul 2023 12:58

Actions (login required)

View Item View Item