The following pages link to (Q4105652):
Displayed 6 items.
- On simplicity of formulas (Q757354) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
- An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers (Q2947176) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)