An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
From MaRDI portal
Publication:910395
DOI10.1007/BF02770508zbMath0696.03008MaRDI QIDQ910395
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
algebraic semantics; intermediate predicate logics; intuitionistic modal logics; bi-topological pseudo-Boolean algebras
Related Items
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