Counterpart Semantics for a Second-Order μ-Calculus
From MaRDI portal
Publication:2898468
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)
modal logicsgraph transformationlabeled transition systemscounterpart semanticsquantified \(\mu\)-calculi
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Temporal logic (03B44)