Weak MSO+U over infinite trees
From MaRDI portal
Publication:2904801
Recommendations
Cited in
(24)- Weak MSO: automata and expressiveness modulo bisimilarity
- A unified approach to boundedness properties in MSO
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints
- Parameterized linear temporal logics meet costs: still not costlier than LTL
- Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints
- Monadic second order finite satisfiability and unbounded tree-width
- Delay games with WMSO+U winning conditions
- New algorithm for weak monadic second-order logic on inductive structures
- Asymptotic Monadic Second-Order Logic
- Weak MSO with the unbounding quantifier
- Recursion schemes and the WMSO+U logic
- On the decidability of MSO+U on infinite trees
- Contribution of Warsaw logicians to computational logic
- Trees over infinite structures and path logics with synchronization
- On a fragment of AMSO and tiling systems
- Satisfiability of \(\mathsf {ECTL}^*\) with tree constraints
- Parameterized linear temporal logics meet costs: still not costlier than LTL
- Weak MSO+U with path quantifiers over infinite trees
- Thin MSO with a probabilistic path quantifier
- Computer Science Logic
- Undecidable first-order theories of affine geometries
- Forcing MSO on infinite words in weak MSO
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic
- Delay games with WMSO+U winning conditions
This page was built for publication: Weak \(\text{MSO}+U\) over infinite trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904801)
