Bowen, K. A.: Model Theory for Modal Logic