A Second Order Logic of Existence. - Nino B. Cocchiarella (J. Symb. Log., 1969)

A substitution free axiom set for second order logic. - Nino B. Cocchiarella (Notre Dame J. Formal Log., 1969)

Fregean semantics for a realist ontology. - Nino B. Cocchiarella (Notre Dame J. Formal Log., 1974)

On the primary and secondary semantics of logical necessity. - Nino B. Cocchiarella (J. Philos. Log., 1975)

A Note on the Definition of Identity in Quine's New Foundations. - Nino B. Cocchiarella (Math. Log. Q., 1976)

The theory of homogeneous simple types as a second-order logic. - Nino B. Cocchiarella (Notre Dame J. Formal Log., 1979)

Nominalism and conceptualism as predicative second-order theories of predication. - Nino B. Cocchiarella (Notre Dame J. Formal Log., 1980)

Meinong reconstructed versus early russell reconstructed. - Nino B. Cocchiarella (J. Philos. Log., 1982)

Frege's double correlation thesis and quine's set theories NF and ML. - Nino B. Cocchiarella (J. Philos. Log., 1985)

Two λ-extensions of the theory of homogeneous simple types as a second-order logic. - Nino B. Cocchiarella (Notre Dame J. Formal Log., 1985)

Book reviews. - Kären Wieckert; Nino B. Cocchiarella; Jon Barwise (Minds Mach., 1991)

Book Review: Stewart Shapiro. Foundations with foundationalism.. - Nino B. Cocchiarella (Notre Dame J. Formal Log., 1993)

Knowledge representation in conceptual realism. - Nino B. Cocchiarella (Int. J. Hum. Comput. Stud., 1995)

Reference in Conceptual Realism. - Nino B. Cocchiarella (Synth., 1998)

On the Logic of Classes as Many. - Nino B. Cocchiarella (Stud Logica, 2002)

Mass Nouns in a Logic of Classes as Many. - Nino B. Cocchiarella (J. Philos. Log., 2009)

Two Views of the Logic of Plurals and a Reduction of One to the Other. - Nino B. Cocchiarella (Stud Logica, 2015)