Cited in
(only showing first 100 items - show all)- Trees, grids, and MSO decidability: from graphs to matroids
- Uniformization, choice functions and well orders in the class of trees
- Counting finite models
- Logical aspects of Cayley-graphs: the group case
- Recursion schemes and the WMSO+U logic
- Notes on monadic logic. Part B: Complexity of linear orders in ZFC
- The logical strength of Büchi's decidability theorem
- Infinite and bi-infinite words with decidable monadic theories
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates
- The structure of the models of decidable monadic theories of graphs
- A Hierarchy of Automaticω-Words having a Decidable MSO Theory
- Recognizability, hypergraph operations, and logical types
- The monadic theory and the next world
- On the Weihrauch degree of the additive Ramsey theorem over the rationals
- A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS
- Monadic logic and Löwenheim numbers
- Compositional failure detection in structured transition systems
- Some extensions to propositional mean-value calculus: expressiveness and decidability
- scientific article; zbMATH DE number 7566055 (Why is no real title available?)
- Counting on CTL^*: On the expressive power of monadic path logic
- The complete finitely axiomatized theories of order are dense
- scientific article; zbMATH DE number 7199579 (Why is no real title available?)
- Cardinality Quantifiers in MLO over Trees
- Convex decompositions in the plane and continuous pair colorings of the irrationals
- A strategy for dynamic programs: start over and muddle through
- Algorithmic uses of the Feferman-Vaught theorem
- Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations
- Uniformization and skolem functions in the class of trees
- The expressive power of Malitz quantifiers for linear orderings
- Continuous time temporal logic with counting
- Temporal logics over linear time domains are in PSPACE
- Shelah-Stupp's and Muchnik's iterations revisited
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras
- The factorisation forest theorem
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
- The decision problem for branching time logic
- On the complexity of decision using destinies in \(H\)-bounded structures
- Automata on linear orderings
- On countable chains having decidable monadic theory
- On frontiers of regular trees
- Decidable metric logics
- On decidability properties of local sentences
- Selection in the monadic theory of a countable ordinal
- Limited set quantifiers over countable linear orderings
- Peano arithmetic may not be interpretable in the monadic theory of linear orders
- On translations of temporal logic of actions into monadic second-order logic
- Towards a language theory for infinite N-free pomsets.
- An algebraic approach to MSO-definability on countable linear orderings
- A weak generalization of MA to higher cardinals
- On the bounded monadic theory of well-ordered structures
- Bisimulation Invariant Monadic-Second Order Logic in the Finite
- Composition over the natural number ordering with an extra binary relation
- Timer formulas and decidable metric temporal logic
- Model checking parameterised multi-token systems via the composition method
- Substance and first-order quantification over individual-concepts
- Elementary equivalence of topological spaces
- LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE
- Monadic second-order logic on tree-like structures
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.
- Taxonomies of model-theoretically defined topological properties
- The full binary tree cannot be interpreted in a chain
- Stationary Logic and Ordinals
- Interpreting second-order logic in the monadic theory of order
- MSOL partitioning problems on graphs of bounded treewidth and clique-width
- Finite state automata and monadic definability of singular cardinals
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
- First-order separation over countable ordinals
- Reflecting stationary sets
- Monadic monadic second order logic
- A note on edge colorings and trees
- Time-Bounded Verification
- Modest theory of short chains. II
- Toward classifying unstable theories
- Index problems for game automata
- Effective optimization with weighted automata on decomposable trees
- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey
- Propositional quantification in the topological semantics for S4
- On the strength of the interpretation method
- Model Transformations in Decidability Proofs for Monadic Theories
- The subtrace order and counting first-order logic
- A syntactic congruence for languages of birooted trees
- Pro-aperiodic monoids via saturated models
- On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
- Logic and rational languages of words indexed by linear orderings
- The compositional method and regular reachability
- The recognizability of sets of graphs is a robust property
- Automata and logics over finitely varying functions
- Selection over classes of ordinals expanded by monadic predicates
- State-strategies for games in Fσδ ∩ Gδσ
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic
- On the strength of some topological lattices
- Simple monadic theories and partition width
- Decidable Extensions of Church’s Problem
- On spectra of sentences of monadic second order logic with counting
- CONTINUOUS RAMSEY THEORY ON POLISH SPACES AND COVERING THE PLANE BY FUNCTIONS
- On monadic theories of monadic predicates
- Interpreting the weak monadic second order theory of the ordered rationals
- The monadic theory of order
- Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates
This page was built for publication: The monadic theory of order
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1233019)
