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

<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "Hyperfine-Grained Meanings in Classical Logic"^^ . "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."^^ . "1991" . . . "133/13" . . " Logique et Analyse"^^ . . . . . . . . "Reinhard"^^ . "Muskens"^^ . "Reinhard Muskens"^^ . . . . . . "Hyperfine-Grained Meanings in Classical Logic (Postscript)"^^ . . . . . . "hyperfine.ps"^^ . . . "Hyperfine-Grained Meanings in Classical Logic (PDF)"^^ . . . . . . . . . "hyperfine.pdf"^^ . . . "Hyperfine-Grained Meanings in Classical Logic (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Hyperfine-Grained Meanings in Classical Logic (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Hyperfine-Grained Meanings in Classical Logic (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #4707 \n\nHyperfine-Grained Meanings in Classical Logic\n\n" . "text/html" . . . "Philosophy of Language" . . . "Semantics" . . . "Logic" . .