Sean Walsh

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 8

Top Topics

Decision Theoretic Planning

Social Bookmarking

Top Venues

Rev. Symb. Log.

Bull. Symb. Log.

Ann. Pure Appl. Log.

Publications

Sean Walsh
The Strength of Abstraction with Predicative Comprehension. FLAP 4 (10) (2017)
Walter Dean, Sean Walsh
The Prehistory of the Subsystems of second-order Arithmetic. Rev. Symb. Log. 10 (2) (2017)
Sean Walsh
The strength of Abstraction with Predicative Comprehension. Bull. Symb. Log. 22 (1) (2016)
Sean Walsh
Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic. J. Philos. Log. 45 (3) (2016)
Sean Walsh
and Gödel's Constructible Universe. J. Symb. Log. 81 (2) (2016)
Benjamin G. Rin, Sean Walsh
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction. Rev. Symb. Log. 9 (4) (2016)
Sean Walsh, Sean Ebels-Duggan
Relative Categoricity and Abstraction Principles. Rev. Symb. Log. 8 (3) (2015)
Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip D. Welch
Introduction. Notre Dame J. Formal Log. 56 (1) (2015)
Sean Walsh
Empiricism, probability, and knowledge of arithmetic: A preliminary defense. J. Appl. Log. 12 (3) (2014)
Sean Walsh
Logicism, interpretability, and Knowledge of Arithmetic. Rev. Symb. Log. 7 (1) (2014)
Sean Walsh
Comparing Peano arithmetic, Basic Law V, and Hume's Principle. Ann. Pure Appl. Log. 163 (11) (2012)