Leon Horsten

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 6

Top Topics

General Conditions

Pattern Queries

Semantic Description

Expressive Power

Top Venues

J. Philos. Log.

Rev. Symb. Log.

J. Log. Comput.

Publications

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