Logic, Truth and the Modalities