Walter Dean

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 4

Top Topics

General Purpose

Top Venues

Rev. Symb. Log.

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Walter Dean
Incompleteness via Paradox and Completeness. Rev. Symb. Log. 13 (3) (2020)
Walter Dean
Strict finitism, Feasibility, and the Sorites. Rev. Symb. Log. 11 (2) (2018)
Walter Dean, Sean Walsh
The Prehistory of the Subsystems of second-order Arithmetic. Rev. Symb. Log. 10 (2) (2017)
Walter Dean
Squeezing Feasibility. CiE (2016)
Walter Dean, Hidenori Kurokawa
The Paradox of the Knower revisited. Ann. Pure Appl. Log. 165 (1) (2014)
Walter Dean
Montague's Paradox, Informal Provability, and Explicit Modal Logic. Notre Dame J. Formal Log. 55 (2) (2014)
Walter Dean, Rohit Parikh
The Logic of Campaigning. ICLA (2011)
Walter Dean, Hidenori Kurokawa
From the Knowability Paradox to the existence of proofs. Synth. 176 (2) (2010)
Walter Dean, Hidenori Kurokawa
Knowledge, proof and the Knower. TARK (2009)