Ruth barcan marcus

Ruth Barcan Marcus and Intensional Languages

Synthese volume, vol. 13, 1961, pp. 303–322