Monadic second-order logic and linear orderings of finite structures

DOI10.1007/BFB0022254MaRDI QIDQ4474837zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 21 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0022254

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Total orders (06A05) Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Monadic second-order logic on finite sequences
• Monadic Second Order Logic And Its Fragments
• Interpreting second-order logic in the monadic theory of order
• Monadic second-order logics with cardinalities
• Monadic second order logic on tree-like structures
• Asymptotic Monadic Second-Order Logic
• The monadic second-order logic of graphs. X: Linear orderings
• Monadic second-order logic on tree-like structures

Cited in

(15)

• The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
• The monadic second-order logic of graphs. X: Linear orderings
• Monadic second-order logic on tree-like structures
• Monadic second-order definable graph orderings
• Asymptotic Monadic Second-Order Logic
• Fusion in relational structures and the verification of monadic second-order properties
• On Monadic Second-Order Theories of Multidominance Structures
• scientific article; zbMATH DE number 4051591 (Why is no real title available?)
• Monadic Second Order Logic with Measure and Category Quantifiers
• Monotone inductive and coinductive constructors of rank 2
• Monadic Second-Order Logic and Transitive Closure Logics over Trees
• scientific article; zbMATH DE number 7360013 (Why is no real title available?)
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• Quantitative Monadic Second-Order Logic
• Existential MSO over two successors is strictly weaker than over linear orders

This page was built for publication: Monadic second-order logic and linear orderings of finite structures

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