It is not the case that S5's axiom that ◇□P→□P holds only within a single modal system, but the possibility operator in P2 smuggles in a substantive metaphysical claim that requires independent justification.
?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.