In the present paper I describe a general formal semantic scheme for the interpretation of quantum mechanics (QM), and on the basis of this scheme I examine the modal interpretation of QM — both the Copenhagen and the anti-Copenhagen variants — proposed by van Fraassen [19, 20, 21], This is intended to be a fragment of a larger work [12] which additionally investigates a number of closely related interpretations, including ones proposed by Bub and Demopoulos [1, 2, 3, 4], Fine (...) [5, 6], and Krips [16, 17].Formal semantically speaking (see, e.g., Thomason [18]), a logic L may be characterized as an ordered pair, where SYN is the underlying syntax (language) of L, and SEM is the semantics of L, which consists of a class of semantic assignments on SYN. (shrink)