Topic: GENERAL LOGIC
Linear Kripke Frames and Gödel Logics
By Arnold Beckmann & Norbert Preining
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 his 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.
Posted by Tony Marmo at 00:01 GMT
Updated: Tuesday, 8 November 2005 08:13 GMT