Monadic second-order logic on tree-like structures
type: Item
instance of: scholarly article
title: Monadic second-order logic on tree-like structures
zbMATH Open document ID: 1026.68087
DOI: 10.1016/S0304-3975(01)00185-2
author: Igor Walukiewicz
published in: Theoretical Computer Science
publication date: 2002-07-31T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D05
zbMATH DE Number: 1774103
zbMATH Keywords: monadic second-order logic
zbMATH Keywords: tree automata
zbMATH Keywords: decidability
MaRDI profile type: Publication
cites work: Decision methods in the theory of ordinals
cites work: State-strategies for games in Fσδ ∩ Gδσ
cites work: Monadic second-order definable graph transductions: a survey
cites work: Monadic second-order logic, graph coverings and unfoldings of transition systems
cites work: Q4215595
cites work: Q4850061
cites work: Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
cites work: Automata for the modal μ-calculus and related results
cites work: On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
cites work: Q4323294
cites work: Infinite games played on finite graphs
cites work: Descriptive set theory
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q3346281
cites work: The monadic theory of order
cites work: An automata theoretic decision procedure for the propositional mu- calculus
cites work: Q4714446
cites work: Infinite games on finitely coloured graphs with applications to automata on infinite trees
full work available at URL: s0304-3975(01)00185-2
OpenAlex ID: W2067464091
Recommended article: Monadic second order logic on tree-like structures
Recommended article: Monadic Second-Order Logic and Transitive Closure Logics over Trees
Recommended article: Q4362731
Recommended article: Q4941910
Recommended article: Existential monadic second order logic on random rooted trees
Recommended article: Q4474837
Recommended article: Q5129949
Recommended article: Monadic Second-Order Logic with Arbitrary Monadic Predicates
description: scientific article; zbMATH DE number 1774103