arnold beckmann's pages

Linear Kripke Frames and Gödel Logics

File: PDF-File

Author: Arnold Beckmann and Norbert Preining
Title: Linear Kripke Frames and Gödel Logics
Journal: JSL 2007, 72(1): 26-44
DOI: 10.2178/jsl/1174668382

Abstract: 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.

websites: Arnold Beckmann 2017-08-28 Valid HTML 4.01! Valid CSS!