Based on her earlier ground-breaking axiomatization of quantified modal logic, the papers collected here by the distinguished philosopher Ruth Barcan Marcus cover much ground in the development of her thought, spanning from 1961 to 1990. The first essay here introduces themes initially viewed as iconoclastic, such as the necessity of identity, the directly referential role of proper names as "tags," the Barcan Formula about the interplay of possibility and existence, and alternative interpretations of quantification. Marcus also addresses the putative puzzles about substitutivity and about...