Ruth Barcan Marcus Marcus first came to prominence in the world of metaphysics in March 1946 with the publication ... “More generally, the ‘quantified modal logic’ which Ruth helped work out is ...