Counterpart Semantics for a Second-Order μ-Calculus

DOI10.3233/FI-2012-709zbMath1260.03030MaRDI QIDQ2898468

Alberto Lluch Lafuente, Fabio Gadducci, Andrea Vandin

Publication date: 11 July 2012

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

zbMATH Keywords

modal logicsgraph transformationlabeled transition systemscounterpart semanticsquantified \(\mu\)-calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Temporal logic (03B44)