MoL-2023-12: Mora, Raúl Ruiz (2023) Team Semantics for Modal mu-Calculus. [Report]
Text
MoL-2023-12.text.pdf Download (621kB) |
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.
Item Type: | Report |
---|---|
Report Nr: | MoL-2023-12 |
Series Name: | Master of Logic Thesis (MoL) Series |
Year: | 2023 |
Subjects: | Logic Mathematics |
Depositing User: | Dr Marco Vervoort |
Date Deposited: | 31 Jul 2023 12:58 |
Last Modified: | 31 Jul 2023 12:58 |
URI: | https://eprints.illc.uva.nl/id/eprint/2260 |
Actions (login required)
View Item |