Similar Items: Order-invariant cluster first-order logic on graph classes of bounded degree
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- Finite-Horizon First-Order Rank Profiles of Regular Languages
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
- A Logic of Inability