Counterpart semantics for a second-order \(\mu\)-calculus
type: Item
instance of: scholarly article
zbMATH Open document ID: 1260.03030
DOI: 10.3233/FI-2012-709
author: Fabio Gadducci
author: Alberto Lluch Lafuente
author: Andrea Vandin
published in: Fundamenta Informaticae
publication date: 2012-07-11T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6054486
zbMATH Keywords: quantified \(\mu\)-calculi
zbMATH Keywords: counterpart semantics
zbMATH Keywords: modal logics
zbMATH Keywords: graph transformation
zbMATH Keywords: labeled transition systems
MaRDI profile type: Publication
Recommended article: Counterpart Semantics for a Second-Order μ-Calculus
Recommended article: The semantics of second-order lambda calculus
Recommended article: Q2778830
Recommended article: Semantics of the second order lambda calculus
Recommended article: Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
Recommended article: On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
Recommended article: Q3216628
Recommended article: On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
Recommended article: RPO, Second-Order Contexts, and λ-Calculus
Recommended article: Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
title: Counterpart semantics for a second-order \(\mu\)-calculus
description: scientific article; zbMATH DE number 6054486