Main area of theoretical work: Semantics and completeness proofs, development of new proof techniques in this field.
See my list of publications for details and available Latex source
and .ps or .pdf files:
Short version (titles and references)
Long version (with abstracts and pointers) .
Please look also in arxiv.org for recent work, as I do not always update the publication list.
There is an (obsolete) French summary of my work available as
(Somewhat obsolete) reflections about my work.
Cours introduction a la logique, niveau Li3
Provence is beautiful. If you are in the area, don't forget sightseeing. Here is my (very personal) travel guide.
Tydeus' mutiger Sohn, was fragst Du
nach meinem Geschlecht?
Gleich wie Blaetter im Walde, so sind
die Geschlechter der Menschen.
(Homer, Ilias VI, 145-146)