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

Leon Horsten Coauthor index pubzone.org

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

DBLP keys2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten: Book Review: Stewart Shapiro. Vagueness in Context. Notre Dame Journal of Formal Logic 50(2): 221-226 (2009)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten, Philip Welch: The undecidability of propositional adaptive logic. Synthese 169(1): 217-218 (2009)
2008
10Electronic 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
9Electronic 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)
2006
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Halbach, Leon Horsten: Axiomatizing Kripke's Theory of Truth. J. Symb. Log. 71(2): 677-712 (2006)
2005
7Electronic 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
6Electronic 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)
2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten, Hannes Leitgeb: No Future. J. Philosophical Logic 30(3): 259-265 (2001)
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
3Electronic Edition 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Horsten: Reflecting in Epistemic Arithmetic. J. Symb. Log. 61(3): 788-801 (1996)
1994
1Electronic Edition 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 [6]
2Igor Douven [10]
3Volker Halbach [4] [8]
4Hannes Leitgeb [5]
5Liza Verhoeven [7]
6Philip Welch [9] [11]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page