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

DOI10.1007/BF00370365MaRDI QIDQ757342zbMATH OpenFDO

Authors Nobu-Yuki Suzuki

Publication date 1990

Published in Studia Logica (Search for Journal in Brave)

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)

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

Cites work

• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• scientific article; zbMATH DE number 3821696 (Why is no real title available?)
• scientific article; zbMATH DE number 4106814 (Why is no real title available?)
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II
• MIPC as the formalisation of an intuitionist concept of modality
• On finite linear intermediate predicate logics
• On some intuitionistic modal logics

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
• scientific article; zbMATH DE number 3933040 (Why is no real title available?)
• A uniform tableau method for intuitionistic modal logics. I
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• 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)