Keywords modal logic;essentialism;possible world;transworld identity;transworld identification;natural kind;individual essence;

• 模态逻辑;本质主义;可能世界;跨世界同一性;跨世界识别;自然种类;个体本质;