A Note on Linear Kripke Models

DOI10.1093/LOGCOM/EXI031MaRDI QIDQ5696304zbMATH OpenOpenAlexFDO

Authors 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

extension of intuitionistic logic with an existence predicateGödel logicsKripke modelslinear framesScott logics

Mathematics Subject Classification ID

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

Recommendations

• Kripke models for linear logic
• Some results on Kripke models over an arbitrary fixed frame
• Extensions of Kripke models
• Linear Kripke frames and Gödel logics
• On the predicate logic of linear Kripke frames and some of its extensions
• A modal view of linear logic
• scientific article; zbMATH DE number 4066840
• Notes on models of (partial) Kripke-Feferman truth
• scientific article; zbMATH DE number 5839768
• Models of linear logic

Cited in

(8)

• Deciding logics of linear Kripke frames with scattered end pieces
• The Skolemization of existential quantifiers in intuitionistic logic
• One-variable fragments of intermediate logics over linear frames
• scientific article; zbMATH DE number 5910657 (Why is no real title available?)
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Linear Kripke frames and Gödel logics
• scientific article; zbMATH DE number 2068677 (Why is no real title available?)
• Gentzen calculi for the existence predicate

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696304)