Deciding logics of linear Kripke frames with scattered end pieces

DOI10.1007/S00500-016-2400-YzbMath1400.03053OpenAlexW2537649082MaRDI QIDQ1699745

Arnold Beckmann, Norbert Preining

Publication date: 23 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa30489

zbMATH Keywords

Gödel logicslinear Kripke frames

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items (1)

On the classification of first order Gödel logics

Cites Work

• Ordered sets R and Q as bases of Kripke models
• First-order Gödel logics
• The Skolemization of existential quantifiers in intuitionistic logic
• Linear Kripke frames and Gödel logics
• Intermediate predicate logics determined by ordinals
• On Interpolation in Existence Logics

This page was built for publication: Deciding logics of linear Kripke frames with scattered end pieces