The following pages link to Henkin and function quantifiers (Q1121872):
Displaying 4 items.
- Partially ordered connectives and monadic monotone strict NP (Q1024818) (← links)
- Decidability problems in languages with Henkin quantifiers (Q1198829) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
