Pages that link to "Item:Q3208639"
From MaRDI portal
The following pages link to On the semantics of the Henkin quantifier (Q3208639):
Displayed 8 items.
- Some theorems in generalized calculuses (Q795827) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- Decidability problems in languages with Henkin quantifiers (Q1198829) (← links)
- On the logic of informational independence and its applications (Q1208148) (← links)
- IF-logic and truth-definition (Q1267079) (← links)
- Degrees of logics with Henkin quantifiers in poor vocabularies (Q1882566) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)