The following pages link to Henkin and function quantifiers (Q1121872):
Displaying 8 items.
- Partially ordered connectives and monadic monotone strict NP (Q1024818) (← links)
- Henkin quantifiers and complete problems (Q1088983) (← 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)
- A globally sound analytic calculus for Henkin quantifiers (Q2177584) (← links)
- (Q4395559) (← links)
- (Q4661902) (← links)