Essentialism in Modal Logic
Ruth Barcan Marcus · Noûs · 1967
s may be interpreted as attributes. To every proposition about an object a there corresponds one or more attributes which ' R. C. Barcan (Marcus), The identity of individuals in a strict functional calculus of first order, Journal of Symbolic Logic, Vol. XII (1947), pp. 12-15.