Springer Logic, Truth and the Modalities