Henkin and function quantifiers
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 6003856 (Why is no real title available?)
- scientific article; zbMATH DE number 3941493 (Why is no real title available?)
- scientific article; zbMATH DE number 3528202 (Why is no real title available?)
- scientific article; zbMATH DE number 3593524 (Why is no real title available?)
- scientific article; zbMATH DE number 3196255 (Why is no real title available?)
- Definability hierarchies of generalized quantifiers
- Finite Partially‐Ordered Quantifiers
- Finite partially-ordered quantification
- Generalized Ehrenfeucht games
- Henkin quantifiers and complete problems
- On Some Applications of Games for Härtig Quantifier
- On extensions of \(L_{\omega\omega}(Q_1)\)
- On the semantics of the Henkin quantifier
- The Henkin Quantifier and Real Closed Fields
Cited in
(9)- Decidability problems in languages with Henkin quantifiers
- Henkin quantifiers and complete problems
- Complexity of syntactical tree fragments of independence-friendly logic
- scientific article; zbMATH DE number 1163935 (Why is no real title available?)
- Definability hierarchies of generalized quantifiers
- scientific article; zbMATH DE number 4053589 (Why is no real title available?)
- Partially ordered connectives and monadic monotone strict NP
- A globally sound analytic calculus for Henkin quantifiers
- scientific article; zbMATH DE number 2149377 (Why is no real title available?)
This page was built for publication: Henkin and function quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1121872)