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

DOI10.1007/BF00370365zbMath0723.03008MaRDI QIDQ757342

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) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intermediate logics (03B55)

Related Items

One-variable fragments of intermediate logics over linear frames, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics, A uniform tableau method for intuitionistic modal logics. I

Cites Work

• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• On finite linear intermediate predicate logics
• On some intuitionistic modal logics
• Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II
• MIPC as the formalisation of an intuitionist concept of modality
• Unnamed Item
• Unnamed Item
• Unnamed Item