Leon Horsten Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten, Igor Douven: Formal Methods in the Philosophy of Science. Studia Logica 89(2): 151-162 (2008)
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten, Philip Welch: The Undecidability of Propositional Adaptive Logic. Synthese 158(1): 41-60 (2007)
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiza Verhoeven, Leon Horsten: On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries. Studia Logica 81(1): 19-24 (2005)
2004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Delvaux, Leon Horsten: On best transitive approximations to simple graphs. Acta Inf. 40(9): 637-655 (2004)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Halbach, Leon Horsten: Two Proof-Theoretic Remarks on EA + ECT. Math. Log. Q. 46(4): 461-466 (2000)
1998
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten: A Kripkean Approach to Unknowability and Truth. Notre Dame Journal of Formal Logic 39(3): 389-405 (1998)
1996
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten: Reflecting in Epistemic Arithmetic. J. Symb. Log. 61(3): 788-801 (1996)
1994
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon 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 © Wed Dec 23 18:45:02 2009 by Michael Ley (ley@uni-trier.de)