HumanitiesPhilosophyLogicEssentialismModal LogicModal SemanticsModal TheoryPredicate LogicAttributesModal EssentialismModal OperatorsSymbolic Logic
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.