Leon Horsten

According to our database1, Leon Horsten
  • authored at least 23 papers between 1994 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
Term Models for Abstraction Principles.
J. Philosophical Logic, 2016

2015
The Expressive Power of Truth.
Rew. Symb. Logic, 2015

One Hundred Years of Semantic Paradox.
J. Philosophical Logic, 2015

2013
Fair infinite lotteries.
Synthese, 2013

2012
Revision Revisited.
Rew. Symb. Logic, 2012

2009
The undecidability of propositional adaptive logic.
Synthese, 2009

Book Review: Stewart Shapiro. Vagueness in Context.
Notre Dame Journal of Formal Logic, 2009

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

2007
The Undecidability of Propositional Adaptive Logic.
Synthese, 2007

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

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

Closer.
Synthese, 2005

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

Canonical Naming Systems.
Minds and Machines, 2005

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

2001
No Future.
J. Philosophical Logic, 2001

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

1998
In Defense of Epistemic Arithmetic.
Synthese, 1998

A Kripkean Approach to Unknowability and Truth.
Notre Dame Journal of Formal Logic, 1998

1997
Provability in Principle and Controversial Constructivistic Principles.
J. Philosophical Logic, 1997

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

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

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


  Loading...