Short Proof(s) for Classical Theorems
Kees Doets

Abstract:
This note exploits back-and-forth characteristics to 
construct, using a single method, short proofs for ten 
classics of first-order and modal logic: 
interpolation theorems, preservation theorems, and 
Lindstroem's theorem.