Modalities and quantum mechanics

Three approaches concerning the usage of modalities in the language of quantum mechanics were considered; Mittelstaedt and I built up a dialog semantics for modalities on a metalinguistic level, and a calculus of quantum modal logic is known that is complete and sound with respect to this dialogic semantics. Van Fraassen replaced the usual interpretation of quantum mechanics (with the projection postulate) by his modal interpretation based on a modal object language. Dalla Chiara translated a nonmodal object language for quantum mechanics and the appropriate quantum logic into a modal language. Specifically we are interested in the similarities and the differences of these three approaches.