PROCEEDINGS IPMU '08
Embedding Gödel propositional logic into Prior’s tense logic
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra.
The well-known Gödel translation embeds intuitionistic propositional logic into the modal logic S4. In this note, we use essentially the same translation to embed Gödel infinitevalued propositional logic into a schematic extension of Prior?s bimodal tense logic that allows finite chains only as flows of time. While our proofs use elementary techniques in many-valued algebraic logic, our embedding is strongly related to well-known results from the theory of modal companions to superintuitionistic logics. For the reader?s convenience we include a short discussion of the latter results.
PDF full paper |