Asymptotic Monadic Second-Order Logic

DOI10.1007/978-3-662-44522-8_8zbMATH Open1426.03011OpenAlexW160577732MaRDI QIDQ2922005FDOQ2922005

Authors: Achim Blumensath, Olivier Carton, Thomas Colcombet 

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_8

Recommendations

• Quantitative Monadic Second-Order Logic
• Monadic Second Order Logic And Its Fragments
• scientific article; zbMATH DE number 2079025
• Second-order propositional modal logic and monadic alternation hierarchies
• Monadic second-order logic on finite sequences
• scientific article; zbMATH DE number 2038747
• Computability by monadic second-order logic
• scientific article; zbMATH DE number 7360013

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16)

Cites Work

• Rabin's uniformization problem
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Weak \(\text{MSO}+U\) over infinite trees
• The Theory of Stabilisation Monoids and Regular Cost Functions
• The monadic theory of order
• Deterministic automata and extensions of weak MSO
• Topological model theory
• The topological complexity of MSO+U and related automata models
• The finite graph problem for two-way alternating automata.
• Regular cost functions. I: Logic and algebra over words
• On the decidability of MSO+U on infinite trees
• Weak MSO with the unbounding quantifier

Cited In (11)

• Title not available (Why is that?)
• Monadic Second-Order Logic with Arbitrary Monadic Predicates
• Title not available (Why is that?)
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• Title not available (Why is that?)
• Computability by monadic second-order logic
• On a fragment of AMSO and tiling systems
• Title not available (Why is that?)
• Monadic Second Order Logic with Measure and Category Quantifiers
• Bisimulation invariant monadic-second order logic in the finite
• Quantitative Monadic Second-Order Logic

This page was built for publication: Asymptotic Monadic Second-Order Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2922005)