arnold beckmann's pages
Linear Kripke Frames and Gödel Logics
Author: Arnold Beckmann and Norbert Preining
Title: Linear Kripke Frames and Gödel Logics
Journal: JSL 2007, 72(1): 26-44
We investigate the relation between logics of countable
linear Kripke frames with constant domains and Gödel logics.
We show that for any such Kripke
frame there is a Gödel logic which coincides with the logic of this
Kripke frame and vice versa. This allows us to transfer several
recent results on Gödel logics to the logics of countable linear
Kripke frames with constant domains.