Logical truth and indeterminacy. - Steven E. Boër (Notre Dame J. Formal Log., 1977)

Attributive names. - Steven E. Boër (Notre Dame J. Formal Log., 1978)

Some numerical constructions in English. - Steven E. Boër; Roy Edelstein (J. Philos. Log., 1979)

Propositional attitudes and formal ontology. - Steven E. Boër (Synth., 1994)

Thought-Contents and the Formal Ontology of Sense. - Steven E. Boër (J. Philos. Log., 2003)

Propositions and the Substitution Anomaly. - Steven E. Boër (J. Philos. Log., 2009)