Peter Schroeder-Heister

• Advances in Proof-Theoretic Semantics
• Extensions of Logic Programming
• Proof theory in computer science
• Logical Writings of Karl Popper