Pages that link to "Item:Q3011122"
From MaRDI portal
The following pages link to Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122):
Displaying 7 items.
- Expansions of MSO by cardinality relations (Q2871470) (← links)
- (Q3530398) (← links)
- Cardinality Quantifiers in MLO over Trees (Q3644744) (← links)
- Cardinality logics. Part II: Definability in languages based on ‘exactly’ (Q3820583) (← links)
- (Q4383726) (← links)
- Enhancing fixed point logic with cardinality quantifiers (Q4399514) (← links)
- (Q5216303) (← links)