An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics

DOI10.1007/BF02770508zbMath0696.03008OpenAlexW1997477297MaRDI QIDQ910395

Nobu-Yuki Suzuki

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1007/bf02770508

zbMATH Keywords

algebraic semanticsintermediate predicate logicsintuitionistic modal logicsbi-topological pseudo-Boolean algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (3)

On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics ⋮ A uniform tableau method for intuitionistic modal logics. I

Cites Work

• Models for stronger normal intuitionistic modal logics
• Modality and possibility in some intuitionistic modal logics
• An algebraic approach to non-classical logics
• On some intuitionistic modal logics
• A study of intermediate predicate logics
• MIPC as the formalisation of an intuitionist concept of modality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics