Some semantically closed languages. - Charles C. Davis (J. Philos. Log., 1974)

An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice. - Charles C. Davis (Notre Dame J. Formal Log., 1975)

Erratum: "An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice". - Charles C. Davis (Notre Dame J. Formal Log., 1975)

A note on the axiom of choice in Leśniewski's ontology. - Charles C. Davis (Notre Dame J. Formal Log., 1976)

Temporal modalities and the future. - Charles C. Davis; Vaughn R. McKim (Notre Dame J. Formal Log., 1976)

Deja Vu: Characterizing Worker Reliability Using Task Consistency. - Alex C. Williams; Joslin Goh; Charlie G. Willis; Aaron M. Ellison; James H. Brusuelas; Charles C. Davis; Edith Law (HCOMP, 2017)