We stand with Ukraine  

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.
[BibTeX]
[DOI]
Cezary Cieslinski
,
Leon Horsten
,
Hannes Leitgeb
Rev. Symb. Log., 2024

2019
Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective.
[BibTeX]
[DOI]
Leon Horsten
,
Stanislav O. Speranski
J. Philos. Log., 2019

Probability for the Revision Theory of Truth.
[BibTeX]
[DOI]
Catrin Campbell-Moore
,
Leon Horsten
,
Hannes Leitgeb
J. Philos. Log., 2019

2018
Triangulating non-Archimedean Probability.
[BibTeX]
[DOI]
Hazel Brickhill
,
Leon Horsten
Rev. Symb. Log., 2018

2017
Iterated reflection over full disquotational truth.
[BibTeX]
[DOI]
Martin Fischer
,
Carlo Nicolai
,
Leon Horsten
J. Log. Comput., 2017

2016
Term Models for Abstraction Principles.
[BibTeX]
[DOI]
Leon Horsten
,
Øystein Linnebo
J. Philos. Log., 2016

2015
The Expressive Power of Truth.
[BibTeX]
[DOI]
Martin Fischer
,
Leon Horsten
Rev. Symb. Log., 2015

One Hundred Years of Semantic Paradox.
[BibTeX]
[DOI]
Leon Horsten
J. Philos. Log., 2015

2013
Fair infinite lotteries.
[BibTeX]
[DOI]
Sylvia Wenmackers
,
Leon Horsten
Synth., 2013

2012
Revision Revisited.
[BibTeX]
[DOI]
Leon Horsten
,
Graham E. Leigh
,
Hannes Leitgeb
,
Philip D. Welch
Rev. Symb. Log., 2012

2009
Book Review: Stewart Shapiro. <i>Vagueness in Context</i>.
[BibTeX]
[DOI]
Leon Horsten
Notre Dame J. Formal Log., 2009

2008
Formal Methods in the Philosophy of Science.
[BibTeX]
[DOI]
Leon Horsten
,
Igor Douven
Stud Logica, 2008

2007
The Undecidability of Propositional Adaptive Logic.
[BibTeX]
[DOI]
Leon Horsten
,
Philip D. Welch
Synth., 2007

2006
Axiomatizing Kripke's Theory of Truth.
[BibTeX]
[DOI]
Volker Halbach
,
Leon Horsten
J. Symb. Log., 2006

2005
On the Quantitative Scalar or-Implicature.
[BibTeX]
[DOI]
Leon Horsten
Synth., 2005

Closer.
[BibTeX]
[DOI]
Rafael De Clercq
,
Leon Horsten
Synth., 2005

On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries.
[BibTeX]
[DOI]
Liza Verhoeven
,
Leon Horsten
Stud Logica, 2005

Canonical Naming Systems.
[BibTeX]
[DOI]
Leon Horsten
Minds Mach., 2005

2004
On best transitive approximations to simple graphs.
[BibTeX]
[DOI]
Steven Delvaux
,
Leon Horsten
Acta Informatica, 2004

2001
No Future.
[BibTeX]
[DOI]
Leon Horsten
,
Hannes Leitgeb
J. Philos. Log., 2001

2000
Two Proof-Theoretic Remarks on EA + ECT.
[BibTeX]
[DOI]
Volker Halbach
,
Leon Horsten
Math. Log. Q., 2000

1998
In Defense of Epistemic Arithmetic.
[BibTeX]
[DOI]
Leon Horsten
Synth., 1998

A Kripkean Approach to Unknowability and Truth.
[BibTeX]
[DOI]
Leon Horsten
Notre Dame J. Formal Log., 1998

1997
Provability in Principle and Controversial Constructivistic Principles.
[BibTeX]
[DOI]
Leon Horsten
J. Philos. Log., 1997

1996
Reflecting in Epistemic Arithmetic.
[BibTeX]
[DOI]
Leon Horsten
J. Symb. Log., 1996

1995
The Church-Turing thesis and effective mundane procedures.
[BibTeX]
[DOI]
Leon Horsten
,
Herman Roelants
Minds Mach., 1995

1994
Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic.
[BibTeX]
[DOI]
Leon Horsten
Notre Dame J. Formal Log., 1994


  Loading...