Generalized Quantification as Substructural Logic

[1]  H. Keisler.  Logic with the quantifier “there exist uncountably many” , 1970 .

[2]  Jon Barwise,et al.  A correction to “stationary logic” , 1981 .

[3]  Kit Fine,et al.  Natural deduction and arbitrary objects , 1985, J. Philos. Log..

[4]  Andreas Blass,et al.  Henkin quantifiers and complete problems , 1986, Ann. Pure Appl. Log..

[5]  Natasha Alechina.  On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic , 1995, J. Log. Lang. Inf..

[6]  Zarko Mijajlovic,et al.  On the definability of the quantifier “there exist uncountably many” , 1985, Stud Logica.

[7]  David Harel,et al.  Characterizing Second Order Logic with First Order Quantifiers , 1979, Math. Log. Q..

[8]  K. Jon Barwise,et al.  On branching quantifiers in English , 1979, J. Philos. Log..

[9]  Michiel van Lambalgen,et al.  The Axiomatization of Randomness , 1990, J. Symb. Log..

[10]  H. Enderton.  Finite Partially-Ordered Quantifiers , 1970 .

[11]  Lilia Chagrova,et al.  An undecidable problem in correspondence theory , 1991, Journal of Symbolic Logic.

[12]  Herman Ruge Jervell.  Conservative Endextensions and the Quantifier There Exist Uncountably Many , 1975 .

[13]  Johan van Benthem,et al.  Modal quantification over structured domains , 1997 .

[14]  Wilfrid Hodges,et al.  Model Theory: The existential case , 1993 .

[15]  G. E. Mints.  Choice of Terms in Quantifier Rules of Constructive Predicate Calculus , 1969 .

[16]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[17]  Henrik Sahlqvist.  Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

[18]  Michal Krynicki.  Quantifiers determined by partial orderings , 1990, Math. Log. Q..

[19]  Natasha Alechina,et al.  Correspondence and Completeness for Generalized Quantifiers , 1995, Log. J. IGPL.

[20]  Giovanni Sambin,et al.  A new proof of Sahlqvist's theorem on modal definability and completeness , 1989, Journal of Symbolic Logic.

[21]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[22]  Norman,et al.  Structural Models: An Introduction to the Theory of Directed Graphs. , 1966 .

[23]  Dov M. Gabbay,et al.  The Functional Interpretation of the Existential Quantifier , 1995, Log. J. IGPL.