Krister Segerberg

• An essay in classical modal logic