Knowledge, proof and the Knower. - Walter Dean; Hidenori Kurokawa (TARK, 2009)

From the Knowability Paradox to the existence of proofs. - Walter Dean; Hidenori Kurokawa (Synth., 2010)

The Logic of Campaigning. - Walter Dean; Rohit Parikh (ICLA, 2011)

The Paradox of the Knower revisited. - Walter Dean; Hidenori Kurokawa (Ann. Pure Appl. Log., 2014)

Montague's Paradox, Informal Provability, and Explicit Modal Logic. - Walter Dean (Notre Dame J. Formal Log., 2014)

Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause. - Walter Dean; Hidenori Kurokawa (Advances in Proof-Theoretic Semantics, 2016)

Squeezing Feasibility. - Walter Dean (CiE, 2016)

The Prehistory of the Subsystems of second-order Arithmetic. - Walter Dean; Sean Walsh 001 (Rev. Symb. Log., 2017)

Strict finitism, Feasibility, and the Sorites. - Walter Dean (Rev. Symb. Log., 2018)

Incompleteness via Paradox and Completeness. - Walter Dean (Rev. Symb. Log., 2020)

Artifical intelligence and inherent mathematical difficulty. - Walter Dean; Alberto Naibo (CoRR, 2024)