11 A Lindstrom Theorem for Modal Logic