This collection of Marcus's non-technical essays includes her ground-breaking axiomatizations of quantified modal logic.
A collection of Marcus's essays which includes her earlier axiomatizations of quantified modal logic, and explores such topics as the necessity of identity, the directly referential role of proper names as "tags", and the interplay of possibility and existence.