On the semantics of the Henkin quantifier
From MaRDI portal
Publication:3208639
DOI10.2307/2273726zbMath0418.03026MaRDI QIDQ3208639
Michał Krynicki, Alistair H. Lachlan
Publication date: 1979
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273726
decision problems; Henkin quantifier; semantics; Härtig quantifier; second order logic; second order quantifier; definability of the power set; languages with additional quantifier; partially ordered quantifier; theory of addition of the natural numbers; theory of unary relations
Related Items
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, MAXIMALITY OF LOGIC WITHOUT IDENTITY, Some theorems in generalized calculuses, Henkin and function quantifiers, Decidability problems in languages with Henkin quantifiers, On the logic of informational independence and its applications, IF-logic and truth-definition, Degrees of logics with Henkin quantifiers in poor vocabularies
Cites Work