| 2008 | ||
|---|---|---|
| 7 | EE | Leon Horsten, Igor Douven: Formal Methods in the Philosophy of Science. Studia Logica 89(2): 151-162 (2008) |
| 2005 | ||
| 6 | EE | Liza Verhoeven, Leon Horsten: On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries. Studia Logica 81(1): 19-24 (2005) |
| 2004 | ||
| 5 | EE | Steven Delvaux, Leon Horsten: On best transitive approximations to simple graphs. Acta Inf. 40(9): 637-655 (2004) |
| 2000 | ||
| 4 | EE | Volker Halbach, Leon Horsten: Two Proof-Theoretic Remarks on EA + ECT. Math. Log. Q. 46(4): 461-466 (2000) |
| 1998 | ||
| 3 | Leon Horsten: A Kripkean Approach to Unknowability and Truth. Notre Dame Journal of Formal Logic 39(3): 389-405 (1998) | |
| 1996 | ||
| 2 | Leon Horsten: Reflecting in Epistemic Arithmetic. J. Symb. Log. 61(3): 788-801 (1996) | |
| 1994 | ||
| 1 | Leon Horsten: Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic. Notre Dame Journal of Formal Logic 35(2): 284-291 (1994) | |
| 1 | Steven Delvaux | [5] |
| 2 | Igor Douven | [7] |
| 3 | Volker Halbach | [4] |
| 4 | Liza Verhoeven | [6] |