Embedding Godel propositional logic into Prior's tense logic