Henkin and function quantifiers
From MaRDI portal
DOI10.1016/0168-0072(89)90071-7zbMATH Open0675.03023OpenAlexW2018761586MaRDI QIDQ1121872FDOQ1121872
Authors: Michał Krynicki, Jouko Väänänen
Publication date: 1989
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(89)90071-7
Recommendations
power setwell-orderingHenkin quantifierexpressive powersfunction quantifiermonadic fragmentpartially ordered quantifierssublogics only containing unary predicates
Cites Work
- Finite Partially‐Ordered Quantifiers
- Finite partially-ordered quantification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Henkin quantifiers and complete problems
- Definability hierarchies of generalized quantifiers
- Title not available (Why is that?)
- Generalized Ehrenfeucht games
- On the semantics of the Henkin quantifier
- On extensions of \(L_{\omega\omega}(Q_1)\)
- On Some Applications of Games for Härtig Quantifier
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Definability hierarchies of generalized quantifiers
- Title not available (Why is that?)
- Partially ordered connectives and monadic monotone strict NP
- A globally sound analytic calculus for Henkin quantifiers
- Title not available (Why is that?)
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)