Possibilia and Possible Worlds
Ruth Barcan Marcus · 1995
Abstract This paper examines claims that quantified modal logic trades on deep failures and confusions. In particular, it discusses the putative problem of failure of substitutivity of co‐referential terms in modal contexts, and the apparent commitment of modal semantics to possibilia. It concludes with a discussion of alternatives for a more adequate modal logic and its semantics, developing themes and proposals from earlier work.