Translator Disclaimer
March 2007 Linear Kripke frames and Gödel logics
Arnold Beckmann, Norbert Preining
J. Symbolic Logic 72(1): 26-44 (March 2007). DOI: 10.2178/jsl/1174668382

Abstract

We investigate the relation between intermediate predicate logics based on 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 defined by this Kripke frame on constant domains and vice versa. This allows us to transfer several recent results on Gödel logics to logics based on countable linear Kripke frames with constant domains: We obtain a complete characterisation of axiomatisability of logics based on countable linear Kripke frames with constant domains. Furthermore, we obtain that the total number of logics defined by countable linear Kripke frames on constant domains is countable.

Citation

Download Citation

Arnold Beckmann. Norbert Preining. "Linear Kripke frames and Gödel logics." J. Symbolic Logic 72 (1) 26 - 44, March 2007. https://doi.org/10.2178/jsl/1174668382

Information

Published: March 2007
First available in Project Euclid: 23 March 2007

zbMATH: 1118.03016
MathSciNet: MR2298469
Digital Object Identifier: 10.2178/jsl/1174668382

Rights: Copyright © 2007 Association for Symbolic Logic

JOURNAL ARTICLE
19 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.72 • No. 1 • March 2007
Back to Top