1,271 followers
@SimonSchfe45703 @AleMartnezR1 (3/3) But the most forthright way to see it is via multimodality. If necessity & possibility operators aren't transitive across modalities then S5 doesn't magically collapse them; lexically defining X as necessary does no