On Modal μ-Calculus in S5 and Applications

DOI10.3233/FI-2013-844zbMath1284.68391OpenAlexW1599832610MaRDI QIDQ2841958

Giovanna D'Agostino, Giacomo Lenzi

Publication date: 30 July 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2013-844

zbMATH Keywords

equivalence relationsparity gamesmodel checking\(\mu \)-calculus\(S5\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (1)

Unnamed Item

This page was built for publication: On Modal μ-Calculus in S5 and Applications