It is not the case that If the type morphism is truth-preserving and the type space is universal, then modal equivalence is preserved as a consequence of the space's terminal object property.
?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.