The following pages link to (Q5533179):
Displaying 6 items.
- On the expressive power of counting (Q672336) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Hierarchies of Partially Ordered Connectives and Quantifiers (Q4304113) (← links)
- On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772) (← links)
- On two-variable guarded fragment logic with expressive local Presburger constraints (Q6597967) (← links)
- An investigation of the negationless fragment of the Rescher-Härtig quantifier (Q6630202) (← links)
