Pages that link to "Item:Q4879905"
From MaRDI portal
The following pages link to The expressive power of fixed-point logic with counting (Q4879905):
Displaying 15 items.
- Canonization for two variables and puzzles on the square (Q1361251) (← links)
- How to define a linear order on finite models (Q1371431) (← links)
- Metafinite model theory (Q1383163) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- Adding for-loops to first-order logic (Q1854443) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Large finite structures with few \(L^k\)-types (Q2506492) (← links)
- Semantic Restrictions over Second-Order Logic (Q3458159) (← links)
- On the Descriptive Complexity of Linear Algebra (Q3511442) (← links)
- (Q4029613) (← links)
- Enhancing fixed point logic with cardinality quantifiers (Q4399514) (← links)
- On fixed-point logic with counting (Q4508261) (← links)
- A Step Up in Expressiveness of Decidable Fixpoint Logics (Q4635946) (← links)
- Metafinite model theory (Q6064289) (← links)
- Capturing the polynomial hierarchy by second-order revised Krom logic (Q6135775) (← links)
