It is not the case that Kripke's semantics for S5 shows that necessary existence requires truth across all possible worlds, but S3 is a strictly weaker system that cannot license such strong modal closure.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.