Monadic second-order logic on tree-like structures
From MaRDI portal
Recommendations
- Monadic second order logic on tree-like structures
- Monadic Second-Order Logic and Transitive Closure Logics over Trees
- Publication:4362731
- Publication:4941910
- Existential monadic second order logic on random rooted trees
- Publication:4474837
- A functional (monadic) second-order theory of infinite trees
Cites work
- scientific article; zbMATH DE number 3880651 (Why is no real title available?)
- scientific article; zbMATH DE number 1215463 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 803291 (Why is no real title available?)
- An automata theoretic decision procedure for the propositional mu- calculus
- Automata for the modal \(\mu \)-calculus and related results
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Decision methods in the theory of ordinals
- Descriptive set theory
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Infinite games played on finite graphs
- Monadic second-order definable graph transductions: a survey
- Monadic second-order logic, graph coverings and unfoldings of transition systems
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
- State-strategies for games in Fσδ ∩ Gδσ
- The monadic theory of order
Cited in
(50)- The descriptive complexity of modal \(\mu\) model-checking games
- On the structure of graphs in the Caucal hierarchy
- Characterizing weighted MSO for trees by branching transitive closure logics
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints
- On decidability of list structures
- Model Transformations in Decidability Proofs for Monadic Theories
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- The arity hierarchy in the polyadic \(\mu\)-calculus
- Relating paths in transition systems: the fall of the modal mu-calculus
- scientific article; zbMATH DE number 475417 (Why is no real title available?)
- Unambiguous languages exhaust the index hierarchy
- A Combinatorial Theorem for Trees
- MSO on the Infinite Binary Tree: Choice and Order
- Iterated pushdown automata and sequences of rational numbers
- Capturing MSO with one quantifier
- CTL\(^\ast\) with graded path modalities
- Shelah-Stupp's and Muchnik's iterations revisited
- Branch-width, parse trees, and monadic second-order logic for matroids.
- Regular sets over extended tree structures
- Solving quantified linear arithmetic by counterexample-guided instantiation
- A Hierarchy of Automaticω-Words having a Decidable MSO Theory
- An automata-theoretic approach to infinite-state systems
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees
- Shelah-Stupp's iteration and Muchnik's iteration
- Rabin's theorem in the concurrency setting: a conjecture
- Monadic Second-Order Logic and Transitive Closure Logics over Trees
- Nearest fixed points and concurrent priority games
- scientific article; zbMATH DE number 7269253 (Why is no real title available?)
- The Monadic Theory of Tree-like Structures
- Contribution of Warsaw logicians to computational logic
- Complete axiomatizations of fragments of monadic second-order logic on finite trees
- Monoidal-closed categories of tree automata
- Solving Infinite Games in the Baire Space
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials
- Pushdown module checking
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- Transforming structures by set interpretations
- The mu-calculus and Model Checking
- scientific article; zbMATH DE number 2087418 (Why is no real title available?)
- LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE
- scientific article; zbMATH DE number 2079025 (Why is no real title available?)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic
- Existential monadic second order logic on random rooted trees
- Fair \(\omega \)-regular games
- The monadic second-order logic evaluation problem on finite colored trees: a database-theoretic approach
- Simple monadic theories and partition width
- Monadic second order logic on tree-like structures
- The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
- An Extension of Muchnik's Theorem
This page was built for publication: Monadic second-order logic on tree-like structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606130)
