Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics

DOI10.1007/BF00370365zbMATH Open0723.03008MaRDI QIDQ757342FDOQ757342

Nobu-Yuki Suzuki

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 3933040
• On the predicate logics of finite Kripke frames
• scientific article; zbMATH DE number 3837996
• On some Kripke complete and Kripke incomplete intermediate predicate logics
• Publication:3472079
• scientific article; zbMATH DE number 759444
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Kripke semantics for modal bilattice logic
• Kripke semantics for intuitionistic Łukasiewicz logic
• Hypersequent calculi for some intermediate logics with bounded Kripke models

zbMATH Keywords

intermediate predicate logicsintuitionistic modal framesintuitionistic modal logicsKripke bundle semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• On some intuitionistic modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• MIPC as the formalisation of an intuitionist concept of modality
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• On finite linear intermediate predicate logics
• Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II
• Title not available (Why is that?)

Cited In (9)

• A remark on propositional Kripke frames sound for intuitionistic logics
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Title not available (Why is that?)
• A uniform tableau method for intuitionistic modal logics. I
• Title not available (Why is that?)
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• One-variable fragments of first-order logics
• One-variable fragments of intermediate logics over linear frames
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics

This page was built for publication: Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics

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