Henkin Quantifiers and Complete Problems

&
Annals of Pure and Applied Logic 32:1--16 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90040-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 193--263.
Quantifiers, some Problems and Ideas.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 1--21.
Quantifiers Definable by Second Order Means.M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 181--214.
Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Computable quantifiers and logics over finite structures.J. Makowsky & Y. Pnueli - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 313--357.
Ramsey theory is needed for solving definability problems of generalized quantifiers.K. Luosto - 1999 - In Jouko A. Vaananen (ed.), European Summer School in Logic, Language and Information: ESSLLI 1997: Generalized Quantifiers and Computation. Springer. pp. 121--134.
Ways of branching quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
Arithmetic with the Henkin quantifier and its generalizations.M. Mostowski - 1991 - In F. Gaillard & D. Richard (eds.), Seminaire du Laboratoire Logique, Algorithmique Et Informatique Clermontois. pp. 1--25.
Definability of Second Order Generalized Quantifiers.Juha Kontinen - 2004 - Dissertation,
Do quantifiers branch?G. Fauconnier - 1975 - Linguistic Inquiry 6:555--567.
Ambigous quantifiers.M. Krynicki & M. Mostowski - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg. pp. 548--565.
On branching quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
Quantifiers vs. Quantificational Theory.Jaakko Hintikka - 1974 - Linguistic Inquiry 5:153--77.
The relational semantics for branched quantifiers.M. Mostowski - 1987 - In D. Skordev (ed.), Mathematical Logic and its Application. Plenum Press. pp. 315--322.

Analytics

Added to PP
2012-03-18

Downloads
27 (#552,153)

6 months
3 (#857,336)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
Aspects of compositionality.Gabriel Sandu & Jaakko Hintikka - 2001 - Journal of Logic, Language and Information 10 (1):49-61.
Complexity of syntactical tree fragments of Independence-Friendly logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.

View all 25 citations / Add more citations

References found in this work

Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
Finite Partially‐Ordered Quantifiers.Herbert B. Enderton - 1970 - Mathematical Logic Quarterly 16 (8):393-397.
Finite partially-ordered quantification.Wilbur John Walkoe - 1970 - Journal of Symbolic Logic 35 (4):535-555.
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.

View all 6 references / Add more references