Topological duality for intuitionistic modal algebras

DOI10.1016/S0022-4049(98)00170-4zbMath0998.03016MaRDI QIDQ1977898

Barnaby P. Hilken

Publication date: 26 November 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

dualityintuitionistic modal logiccontravariant adjunctionframe of open setsrelational spacespectral modal frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categorical methods in general topology (54B30) Lattices and duality (06D50) Frames, locales (06D22) Topological representations of algebraic systems (54H10)

Related Items (2)

On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Cut-free Gentzen calculus for multimodal CK

This page was built for publication: Topological duality for intuitionistic modal algebras