Kripke's modal intuitions rely on antecedent assumptions about identity that haven't been independen...
This proposition has not been edited since the history system was added.