2008 | ||
---|---|---|
8 | EE | Leon Horsten, Igor Douven: Formal Methods in the Philosophy of Science. Studia Logica 89(2): 151-162 (2008) |
2007 | ||
7 | EE | Leon Horsten, Philip Welch: The Undecidability of Propositional Adaptive Logic. Synthese 158(1): 41-60 (2007) |
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 | [8] |
3 | Volker Halbach | [4] |
4 | Liza Verhoeven | [6] |
5 | Philip Welch | [7] |