Logic Colloquium 2024

Contributed Talk

Team semantics for modal mu-calculus

Raúl Ruiz Mora

  Friday, 14:25, J336 ! Live

Authors: Bahareh Afshari and Raúl Ruiz Mora

Team semantics can be seen as a generalisation of Tarskian model theoretic semantics originally developed by Hodges in [1]. In recent work, see e.g. [3], team semantics have been developed for LTL, CTL and CTL*. Also, team semantics have been defined and studied for modal logic [2] and first order logic giving rise to dependence logic, independence logic and inclusion logic [5].

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 [4].

Bibliography

  1. Hodges, W., Compositional semantics for a language of imperfect information. Logic Journal of the IGPL, 5(4) (1997) pp. 539–563.
  2. Kontinen, J., Müller, J. S., Schnoor, H., & Vollmer, H., A van Benthem theorem for modal team semantics. Leibniz International Proceedings in Informatics (LIPIcs), 2014.
  3. Krebs, A., Meier, A., & Virtema, J., A team based variant of CTL. 22nd International Symposium on Temporal Representation and Reasoning (TIME) (2015) pp. 140–149. IEEE.
  4. Ruiz, R., Team semantics for modal mu-calculus. Master’s thesis, University of Amsterdam, 2023.
  5. Väänänen, J, Dependence logic: a new approach to independence friendly logic. London Mathematical Society student texts, 70, Cambridge university Press (2007).

 Overview  Program