A Note on Linear Kripke Models
From MaRDI portal
Publication:5696304
DOI10.1093/logcom/exi031zbMath1082.03026MaRDI QIDQ5696304
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
Kripke models; linear frames; Gödel logics; Scott logics; extension of intuitionistic logic with an existence predicate
Related Items
Gentzen calculi for the existence predicate, The Skolemization of existential quantifiers in intuitionistic logic, One-variable fragments of intermediate logics over linear frames, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains