--- abstract: "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." altloc: - http://let.uvt.nl/general/people/rmuskens/pubs/hyperfine.pdf - http://let.uvt.nl/general/people/rmuskens/pubs/hyperfine.ps chapter: ~ commentary: ~ commref: ~ confdates: ~ conference: ~ confloc: ~ contact_email: ~ creators_id: [] creators_name: - family: Muskens given: Reinhard honourific: '' lineage: '' date: 1991 date_type: published datestamp: 2006-01-21 department: ~ dir: disk0/00/00/47/07 edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 4707 fileinfo: /style/images/fileicons/application_postscript.png;/4707/1/hyperfine.ps|/style/images/fileicons/application_pdf.png;/4707/2/hyperfine.pdf full_text_status: public importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: 'hyperintensionality, type theory, propositional attitudes' lastmod: 2011-03-11 08:56:19 latitude: ~ longitude: ~ metadata_visibility: show note: ~ number: ~ pagerange: 159-176 pubdom: FALSE publication: ' Logique et Analyse' publisher: ~ refereed: TRUE referencetext: ~ relation_type: [] relation_uri: [] reportno: ~ rev_number: 14 series: ~ source: ~ status_changed: 2007-09-12 17:01:55 subjects: - phil-lang - ling-sem - phil-logic succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ thesistype: ~ title: Hyperfine-Grained Meanings in Classical Logic type: journalp userid: 6111 volume: 133/13