The following pages link to The monadic theory of order (Q1233019):
Displaying 50 items.
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- Selection over classes of ordinals expanded by monadic predicates (Q636340) (← links)
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- Logical aspects of Cayley-graphs: the group case (Q705541) (← links)
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- The monadic second-order logic of graphs. IV: Definability properties of equational graphs (Q807611) (← links)
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- Automata on linear orderings (Q859978) (← links)
- On decidability properties of local sentences (Q860837) (← links)
- MSOL partitioning problems on graphs of bounded treewidth and clique-width (Q884481) (← links)
- A syntactic congruence for languages of birooted trees (Q906981) (← links)
- Notes on monadic logic. Part B: Complexity of linear orders in ZFC (Q912091) (← links)
- More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) (Q916645) (← links)
- New proof of the solvability of the elementary theory of linearly ordered sets (Q923067) (← links)
- Arity hierarchy for temporal logics (Q944387) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- Decidable metric logics (Q999264) (← links)
- Monadic logic and Löwenheim numbers (Q1058510) (← links)
- Stationary logic of ordinals (Q1062974) (← links)
- The monadic theory and the ''next world'' (Q1063588) (← links)
- The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
- Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
- On translations of temporal logic of actions into monadic second-order logic (Q1127537) (← links)
- Monadic theory of order and topology. II (Q1137035) (← links)
- Elementary equivalence of topological spaces (Q1140633) (← links)
- The monadic theory of \((\omega{}_ 2,<)\) may be complicated (Q1190619) (← links)
- The complete finitely axiomatized theories of order are dense (Q1231486) (← links)
- Monadic theory of order and topology, I (Q1238809) (← links)
- A weak generalization of MA to higher cardinals (Q1248506) (← links)
- Monadic second-order logic, graph coverings and unfoldings of transition systems (Q1295371) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Convex decompositions in the plane and continuous pair colorings of the irrationals (Q1852729) (← links)
- On infinite transition graphs having a decidable monadic theory (Q1853615) (← links)
- Towards a language theory for infinite N-free pomsets. (Q1874399) (← links)
- On the complexity of decision using destinies in \(H\)-bounded structures (Q1885032) (← links)
- Toward classifying unstable theories (Q1923564) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- The factorisation forest theorem (Q2074219) (← links)
- On the Weihrauch degree of the additive Ramsey theorem over the rationals (Q2104276) (← links)
- Shelah-Stupp's and Muchnik's iterations revisited (Q2117107) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- Bisimulation invariant monadic-second order logic in the finite (Q2182315) (← links)
