Sean Walsh

13 papers Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Algorithmic randomness and the weak merging of computable probability measures.
CoRR
Simon M. Huttegger, Sean Walsh, Francesca Zaffora Blando
2024 J jnl
Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic.
CoRR
Sean Walsh
2017 J jnl
The Prehistory of the Subsystems of second-order Arithmetic.
Rev. Symb. Log.
Walter Dean, Sean Walsh
2017 J jnl
The Strength of Abstraction with Predicative Comprehension.
FLAP
Sean Walsh
2016 J jnl
Fragments of Frege's
J. Symb. Log.
Sean Walsh
2016 J jnl
Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic.
J. Philos. Log.
Sean Walsh
2016 J jnl
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction.
Rev. Symb. Log.
Benjamin G. Rin, Sean Walsh
2016 J jnl
The strength of Abstraction with Predicative Comprehension.
Bull. Symb. Log.
Sean Walsh
2015 J jnl
Introduction.
Notre Dame J. Formal Log.
Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip D. Welch
2015 J jnl
Relative Categoricity and Abstraction Principles.
Rev. Symb. Log.
Sean Walsh, Sean Ebels-Duggan
2014 J jnl
Empiricism, probability, and knowledge of arithmetic: A preliminary defense.
J. Appl. Log.
Sean Walsh
2014 J jnl
Logicism, interpretability, and Knowledge of Arithmetic.
Rev. Symb. Log.
Sean Walsh
2012 J jnl
Comparing Peano arithmetic, Basic Law V, and Hume's Principle.
Ann. Pure Appl. Log.
Sean Walsh