This site has been permanently archived. This is a static copy provided by the University of Southampton.

TY - GEN ID - cogprints4707 UR - http://cogprints.org/4707/ A1 - Muskens, Reinhard Y1 - 1991/// N2 - This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved with replacing expressions by logical equivalents. KW - hyperintensionality KW - type theory KW - propositional attitudes TI - Hyperfine-Grained Meanings in Classical Logic SP - 159 AV - public EP - 176 ER -