The following pages link to The Härtig quantifier: a survey (Q3984397):
Displaying 15 items.
- Calculus with the quantifier of elementary equivalence (Q791519) (← links)
- 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)
- On Some Applications of Games for Härtig Quantifier (Q3773858) (← 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)
- 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)
