Frame Definability for Classes of Trees in the μ-calculus
type: Item
instance of: scholarly article
title: Frame Definability for Classes of Trees in the μ-calculus
zbMATH Open document ID: 1287.03045
DOI: 10.1007/978-3-642-15155-2_34
author: Gaëlle Fontaine
author: Thomas Place
published in: Mathematical Foundations of Computer Science 2010
publication date: 2010-09-03T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 5779304
MaRDI profile type: Publication
full work available at URL: 978-3-642-15155-2 34
OpenAlex ID: W2110686957
Recommended article: An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma
Recommended article: Q4273488
Recommended article: Sequent Calculus in the Topos of Trees
Recommended article: The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames
Recommended article: Q4552751
Recommended article: Q4273664
Recommended article: An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
Recommended article: Frame definability in finitely valued modal logics
Recommended article: Definable operations on weakly recognizable sets of trees
Recommended article: Q3384891
description: scientific article