Arnold Beckmann and Norbert Preining
The Journal of Symbolic Logic Vol. 72, No. 1, pp. 26-44
Publication year: 2007

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.

Leave a Reply

Your email address will not be published. Required fields are marked *