Reveals a broad variety of Barcan Marcus' concerns ranging from quantified modal logic, identity, extensionality, direct reference, substitutional and objectual quantification, essentialism and possible worlds to epistemic and deontic modalities, belief, rationality and moral dilemmas.