An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
From MaRDI portal
Publication:910395
DOI10.1007/BF02770508zbMath0696.03008OpenAlexW1997477297MaRDI QIDQ910395
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02770508
algebraic semanticsintermediate predicate logicsintuitionistic modal logicsbi-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
This page was built for publication: An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics