We stand with Ukraine  

Sean Walsh

Affiliations:
  • University of California Irvine, Department of Logic and Philosophy of Science, CA, USA
  • Birkbeck College, Department of Philosophy, London, UK (former)


According to our database1, Sean Walsh authored at least 12 papers between 2012 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Algorithmic randomness and the weak merging of computable probability measures.
[BibTeX]
[DOI]
Simon M. Huttegger
,
Sean Walsh
,
Francesca Zaffora Blando
Ann. Pure Appl. Log., 2026

2024
Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic.
[BibTeX]
[DOI]
Sean Walsh
CoRR, 2024

2017
The Prehistory of the Subsystems of second-order Arithmetic.
[BibTeX]
[DOI]
Walter Dean
,
Sean Walsh
Rev. Symb. Log., 2017

The Strength of Abstraction with Predicative Comprehension.
[BibTeX]
[DOI]
Sean Walsh
FLAP, 2017

2016
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction.
[BibTeX]
[DOI]
Benjamin G. Rin
,
Sean Walsh
Rev. Symb. Log., 2016

Fragments of Frege's <i>Grundgesetze</i> and Gödel's Constructible Universe.
[BibTeX]
[DOI]
Sean Walsh
J. Symb. Log., 2016

Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic.
[BibTeX]
[DOI]
Sean Walsh
J. Philos. Log., 2016

2015
Relative Categoricity and Abstraction Principles.
[BibTeX]
[DOI]
Sean Walsh
,
Sean Ebels-Duggan
Rev. Symb. Log., 2015

Introduction.
[BibTeX]
[DOI]
Salvatore Florio
,
Øystein Linnebo
,
Sean Walsh
,
Philip D. Welch
Notre Dame J. Formal Log., 2015

2014
Logicism, interpretability, and Knowledge of Arithmetic.
[BibTeX]
[DOI]
Sean Walsh
Rev. Symb. Log., 2014

Empiricism, probability, and knowledge of arithmetic: A preliminary defense.
[BibTeX]
[DOI]
Sean Walsh
J. Appl. Log., 2014

2012
Comparing Peano arithmetic, Basic Law V, and Hume's Principle.
[BibTeX]
[DOI]
Sean Walsh
Ann. Pure Appl. Log., 2012


  Loading...