Two-Variable Logic over Countable Linear Orderings
From MaRDI portal
Recommendations
- Two-variable logic with counting and a linear order
- Two-variable logic with counting and a linear order
- Two-variable logic with two order relations (extended abstract)
- Two variable first-order logic over ordered domains
- Decidability issues for two-variable logics with several linear orders
- Two-variable logic with two order relations
- Two-variable first order logic with counting quantifiers: complexity results
- Order-invariance of two-variable logic is decidable
- Complexity Results for First-Order Two-Variable Logic with Counting
- On logics with two variables
Cited in
(12)- First-order logic and its infinitary quantifier extensions over countable words
- Limited set quantifiers over countable linear orderings
- Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids
- Linear circuits, two-variable logic and weakly blocked monoids
- An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
- An algebraic approach to MSO-definability on countable linear orderings
- Complexity Results for First-Order Two-Variable Logic with Counting
- Two-variable logic with counting and a linear order
- Two-variable logic with counting and a linear order
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
- First-order separation over countable ordinals
- Existential MSO over two successors is strictly weaker than over linear orders
This page was built for publication: Two-Variable Logic over Countable Linear Orderings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608629)
