Intuitionistic S4 as a logic of topological spaces
Published in Journal of Logic and Computation, 2024
Recommended citation: de Groot, Jim and Shillito, Ian. (2024). "Intuitionistic S4 as a logic of topological spaces" Journal of Logic and Computation.
Download Paper