The following pages link to Generalized Ehrenfeucht games (Q4145685):
Displayed 5 items.
- On simplicity of formulas (Q757354) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers (Q2947176) (← links)