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

Volker Halbach 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 keys2006
7Electronic 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)
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Halbach, Hannes Leitgeb, Philip Welch: Possible-Worlds Semantics for Modal Notions Conceived as Predicates. J. Philosophical Logic 32(2): 179-223 (2003)
2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Halbach: Disquotational Truth and Analyticity. J. Symb. Log. 66(4): 1959-1973 (2001)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Halbach: Editorial Introduction. Studia Logica 68(1): 3-20 (2001)
2000
3Electronic 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)
1999
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Halbach: Conservative Theories of Classical Truth. Studia Logica 62(3): 353-370 (1999)
1994
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Halbach: A System of Complete and Consistent Truth. Notre Dame Journal of Formal Logic 35(3): 311-327 (1994)

Coauthor Index

1Leon Horsten [3] [7]
2Hannes Leitgeb [6]
3Philip Welch [6]

Last update Fri Jun 1 15:44:53 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