Short proof(s) for classical theorems
Kees Doets

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.