Counterpart Semantics for a Second-Order μ-Calculus
Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin · Fundamenta Informaticae · 2012
Quantified μ-calculi combine the fix-point and modal operators of temporal logics with (existential and universal) quantifiers, and they allow for reasoning about the possible behaviour of individual components within a software system. In this paper