A Note on Linear Kripke Models

DOI10.1093/logcom/exi031zbMath1082.03026OpenAlexW1977030765MaRDI QIDQ5696304

Rosalie Iemhoff

Publication date: 18 October 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d27289010e50fbbbd92a86c5136902105b99058f

zbMATH Keywords

Kripke modelslinear framesGödel logicsScott logicsextension of intuitionistic logic with an existence predicate

Mathematics Subject Classification ID

Many-valued logic (03B50) Intermediate logics (03B55)

Related Items (4)

One-variable fragments of intermediate logics over linear frames ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Gentzen calculi for the existence predicate

This page was built for publication: A Note on Linear Kripke Models