K. A. Bowen

• Model Theory for Modal Logic