Strong global supervenience uses cross-world necessity while weak global supervenience uses intra-wo...