Leon Horsten

28 papers Journal 28
YearRankTypeTitle / Venue / Authors
2024 J jnl
Axioms for Type-Free subjective Probability.
Rev. Symb. Log.
Cezary Cieslinski, Leon Horsten, Hannes Leitgeb
2019 J jnl
Probability for the Revision Theory of Truth.
J. Philos. Log.
Catrin Campbell-Moore, Leon Horsten, Hannes Leitgeb
2019 J jnl
Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective.
J. Philos. Log.
Leon Horsten, Stanislav O. Speranski
2018 J jnl
Triangulating non-Archimedean Probability.
Rev. Symb. Log.
Hazel Brickhill, Leon Horsten
2017 J jnl
Iterated reflection over full disquotational truth.
J. Log. Comput.
Martin Fischer, Carlo Nicolai, Leon Horsten
2016 J jnl
Term Models for Abstraction Principles.
J. Philos. Log.
Leon Horsten, Øystein Linnebo
2015 J jnl
One Hundred Years of Semantic Paradox.
J. Philos. Log.
Leon Horsten
2015 J jnl
The Expressive Power of Truth.
Rev. Symb. Log.
Martin Fischer, Leon Horsten
2013 J jnl
Fair infinite lotteries.
Synth.
Sylvia Wenmackers, Leon Horsten
2012 J jnl
Revision Revisited.
Rev. Symb. Log.
Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch
2009 J jnl
Book Review: Stewart Shapiro.
Notre Dame J. Formal Log.
Leon Horsten
2009 J jnl
The undecidability of propositional adaptive logic.
Synth.
Leon Horsten, Philip D. Welch
2008 J jnl
Formal Methods in the Philosophy of Science.
Stud Logica
Leon Horsten, Igor Douven
2007 J jnl
The Undecidability of Propositional Adaptive Logic.
Synth.
Leon Horsten, Philip D. Welch
2006 J jnl
Axiomatizing Kripke's Theory of Truth.
J. Symb. Log.
Volker Halbach, Leon Horsten
2005 J jnl
Canonical Naming Systems.
Minds Mach.
Leon Horsten
2005 J jnl
Closer.
Synth.
Rafael De Clercq, Leon Horsten
2005 J jnl
On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries.
Stud Logica
Liza Verhoeven, Leon Horsten
2005 J jnl
On the Quantitative Scalar or-Implicature.
Synth.
Leon Horsten
2004 J jnl
On best transitive approximations to simple graphs.
Acta Informatica
Steven Delvaux, Leon Horsten
2001 J jnl
No Future.
J. Philos. Log.
Leon Horsten, Hannes Leitgeb
2000 J jnl
Two Proof-Theoretic Remarks on EA + ECT.
Math. Log. Q.
Volker Halbach, Leon Horsten
1998 J jnl
A Kripkean Approach to Unknowability and Truth.
Notre Dame J. Formal Log.
Leon Horsten
1998 J jnl
In Defense of Epistemic Arithmetic.
Synth.
Leon Horsten
1997 J jnl
Provability in Principle and Controversial Constructivistic Principles.
J. Philos. Log.
Leon Horsten
1996 J jnl
Reflecting in Epistemic Arithmetic.
J. Symb. Log.
Leon Horsten
1995 J jnl
The Church-Turing thesis and effective mundane procedures.
Minds Mach.
Leon Horsten, Herman Roelants
1994 J jnl
Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic.
Notre Dame J. Formal Log.
Leon Horsten