Deciding logics of linear Kripke frames with scattered end pieces
type: Item
instance of: scholarly article
title: Deciding logics of linear Kripke frames with scattered end pieces
zbMATH Open document ID: 1400.03053
author: Arnold Beckmann
author: Norbert Preining
published in: Soft Computing
publication date: 2018-02-23T00:00:00Z
full work available at URL: cronfa30489
review text: This paper uses methods presented in [\textit{M. Baaz} et al., Ann. Pure Appl. Logic 147, No. 1--2, 23--47 (2007; Zbl 1146.03010)] on non-recursive enumerability results for Gödel logics and methods from [\textit{A. Beckmann} and \textit{N. Preining}, J. Symb. Log. 72, No. 1, 26--44 (2007; Zbl 1118.03016)] transferring results on Gödel logics to logics based on countable linear Kripke frames. The extensions presented are twofold: -- an extension to linear Kripke frames of arbitrary size, -- an extension to the case of increasing domains.
reviewed by: Albert Hoogewijs
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 6843098
zbMATH Keywords: Gödel logics
zbMATH Keywords: linear Kripke frames
MaRDI profile type: Publication
OpenAlex ID: W2537649082
cites work: On Interpolation in Existence Logics
cites work: The Skolemization of existential quantifiers in intuitionistic logic
cites work: First-order Gödel logics
cites work: Linear Kripke frames and Gödel logics
cites work: Intermediate predicate logics determined by ordinals
cites work: Ordered sets R and Q as bases of Kripke models
DOI: 10.1007/S00500-016-2400-Y
description: scientific article; zbMATH DE number 6843098