Doing Worlds with worlds: formal semantics without formal metaphysics - Peregrin, Jaroslav. (Synthese Library, 1995)