Leon Horsten

Orcid: 0000-0003-3610-9318

Affiliations:
  • University of Bristol, UK


According to our database1, Leon Horsten authored at least 27 papers between 1994 and 2024.

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

2024
Axioms for Type-Free subjective Probability.
Rev. Symb. Log., 2024

2019
Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective.
J. Philos. Log., 2019

Probability for the Revision Theory of Truth.
J. Philos. Log., 2019

2018
Triangulating non-Archimedean Probability.
Rev. Symb. Log., 2018

2017
Iterated reflection over full disquotational truth.
J. Log. Comput., 2017

2016
Term Models for Abstraction Principles.
J. Philos. Log., 2016

2015
The Expressive Power of Truth.
Rev. Symb. Log., 2015

One Hundred Years of Semantic Paradox.
J. Philos. Log., 2015

2013
Fair infinite lotteries.
Synth., 2013

2012
Revision Revisited.
Rev. Symb. Log., 2012

2009
Book Review: Stewart Shapiro. <i>Vagueness in Context</i>.
Notre Dame J. Formal Log., 2009

2008
Formal Methods in the Philosophy of Science.
Stud Logica, 2008

2007
The Undecidability of Propositional Adaptive Logic.
Synth., 2007

2006
Axiomatizing Kripke's Theory of Truth.
J. Symb. Log., 2006

2005
On the Quantitative Scalar or-Implicature.
Synth., 2005

Closer.
Synth., 2005

On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries.
Stud Logica, 2005

Canonical Naming Systems.
Minds Mach., 2005

2004
On best transitive approximations to simple graphs.
Acta Informatica, 2004

2001
No Future.
J. Philos. Log., 2001

2000
Two Proof-Theoretic Remarks on EA + ECT.
Math. Log. Q., 2000

1998
In Defense of Epistemic Arithmetic.
Synth., 1998

A Kripkean Approach to Unknowability and Truth.
Notre Dame J. Formal Log., 1998

1997
Provability in Principle and Controversial Constructivistic Principles.
J. Philos. Log., 1997

1996
Reflecting in Epistemic Arithmetic.
J. Symb. Log., 1996

1995
The Church-Turing thesis and effective mundane procedures.
Minds Mach., 1995

1994
Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic.
Notre Dame J. Formal Log., 1994


  Loading...