Barcan Marcus, Ruth
Abstract Ruth Barcan Marcus was a logician and important philosopher whose pioneering contributionsin the forties gave rise to the quantified modal logic. The so-called “Barcan formula” is a very controversial axiom of quantified modal logic. In this survey we retrace…