A Fully Logical Inductive Logic. - John Nolt (Notre Dame J. Formal Log., 1990)

Reference and perspective in intuitionistic logics. - John Nolt (J. Log. Lang. Inf., 2007)

Truth as an Epistemic Ideal. - John Nolt (J. Philos. Log., 2008)

Toward a Formal Semantics for Control-Flow Process Models. - Henry H. Bi; John Nolt (J. Database Manag., 2012)