The following pages link to The Härtig quantifier: a survey (Q3984397):
Displaying 11 items.
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Decidability problems in languages with Henkin quantifiers (Q1198829) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- Syllogistic Logic with Cardinality Comparisons (Q3305435) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- Undecidability results on two-variable logics (Q5048929) (← links)
- CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL (Q5082056) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
- On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
