Pages that link to "Item:Q617710"
From MaRDI portal
The following pages link to Extensions of MSO and the monadic counting hierarchy (Q617710):
Displaying 11 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- A remark on collective quantification (Q1006495) (← links)
- Nonerasing, counting, and majority over the linear time hierarchy (Q1854524) (← links)
- A characterization of definability of second-order generalized quantifiers with applications to non-definability (Q2453584) (← links)
- Dependence logic with a majority quantifier (Q2911629) (← links)
- Capturing MSO with One Quantifier (Q2947170) (← links)
- Solving Coverability Problem for Monotonic Counter Systems by Supercompilation (Q3457979) (← links)
- On Second-Order Monadic Groupoidal Quantifiers (Q3511462) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- (Q5092394) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)