Semantics for S4.2. - Allen Hazen (Notre Dame J. Formal Log., 1972)

Expressive completeness in modal language. - Allen Hazen (J. Philos. Log., 1976)

The eliminability of the actuality operator in propositional modal logic. - Allen Hazen (Notre Dame J. Formal Log., 1978)

Davis's formulation of Kripke's theory of truth: A correction. - Allen Hazen (J. Philos. Log., 1981)

Natural deduction and Hilbert's ɛ-operator. - Allen Hazen (J. Philos. Log., 1987)

Actuality and Quantification. - Allen Hazen (Notre Dame J. Formal Log., 1990)

The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order. - Allen Hazen (Notre Dame J. Formal Log., 1992)

On quantifying out. - Allen P. Hazen (J. Philos. Log., 1995)

Relations in Monadic Third-Order Logic. - Allen P. Hazen (J. Philos. Log., 1997)

Predicative Logic and Formal Arithmetic. - John P. Burgess; Allen Hazen (Notre Dame J. Formal Log., 1998)

Similarity Relations and the Preservation of Solidity. - Allen Hazen; Lloyd Humberstone (J. Log. Lang. Inf., 2004)

Relevant Restricted Quantification. - J. C. Beall; Ross T. Brady; Allen Hazen; Graham Priest; Greg Restall (J. Philos. Log., 2006)

On the Ternary Relation and Conditionality. - J. C. Beall; Ross T. Brady; J. Michael Dunn; Allen Hazen; Edwin D. Mares; Robert K. Meyer; Graham Priest; Greg Restall; David Ripley; John K. Slaney; Richard Sylvan (J. Philos. Log., 2012)

A History of Natural Deduction. - Francis Jeffry Pelletier; Allen P. Hazen (Logic: A History of its Central Concepts, 2012)

Actuality in Propositional Modal Logic. - Allen P. Hazen; Benjamin G. Rin; Kai Frederick Wehmeier (Stud Logica, 2013)

Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. - Allen P. Hazen; Francis Jeffry Pelletier (Stud Logica, 2014)

Automated Reasoning for the Dialetheic Logic RM3. - Geoff Sutcliffe; Francis Jeffry Pelletier; Allen P. Hazen (FLAIRS, 2017)

K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You. - Allen P. Hazen; Francis Jeffry Pelletier (CoRR, 2017)

Making Belnap's "Useful 4-Valued Logic" Useful. - Geoff Sutcliffe; Francis Jeffry Pelletier; Allen Hazen (FLAIRS, 2018)

Pecularities of Some Three- and Four-Valued Second Order Logics. - Allen P. Hazen; Francis Jeffry Pelletier (Logica Universalis, 2018)

Second-Order Logic of Paradox. - Allen P. Hazen; Francis Jeffry Pelletier (Notre Dame J. Formal Log., 2018)

When is a Schema Not a Schema? On a Remark by Suszko. - Lloyd Humberstone; Allen Hazen (Stud Logica, 2020)