可能世界语义学中所预设的跨世界个体关系需要理论家明确可能个体与现实个体之间的关系,从而确定可能个体的唯一性。对此,克里普克等温和实在论者认为跨世界个体之间是“同一关系”,而大卫·刘易斯则认为跨世界个体之间事实上是一种“相似关系”。跨世界个体关系的同一理论和相似理论是对立的两个理论,然而却面临着相似甚至相同的困境:同一关系理论和相似关系理论陷入了“裸同一”/“相似性的不可衡量”或者诉诸“个体本质属性”的“同构二难困境”,并且它们在解释关于非存在对象的模态分析时都是失败的。