It is not the case that Van Benthem's correspondence theory shows that some S4-valid formulas correspond to non-elementary frame properties, which are invisible to the first-order many-sorted translation MS(4).
?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.