dblp.uni-trier.dewww.uni-trier.de

Leon Horsten

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EELeon Horsten, Igor Douven: Formal Methods in the Philosophy of Science. Studia Logica 89(2): 151-162 (2008)
2007
7EELeon Horsten, Philip Welch: The Undecidability of Propositional Adaptive Logic. Synthese 158(1): 41-60 (2007)
2005
6EELiza Verhoeven, Leon Horsten: On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries. Studia Logica 81(1): 19-24 (2005)
2004
5EESteven Delvaux, Leon Horsten: On best transitive approximations to simple graphs. Acta Inf. 40(9): 637-655 (2004)
2000
4EEVolker 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)

Coauthor Index

1Steven Delvaux [5]
2Igor Douven [8]
3Volker Halbach [4]
4Liza Verhoeven [6]
5Philip Welch [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)