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  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>