Polytopological Semantics for Intuitionistic Modal Logics

Juan P. Aguilera, David Fernández-Duque, Leonardo Pacheco

We develop polytopological semantics for various constructive, intuitionistic, and Gödel--Dummett variations of $K4$ and $S4$. In our models, intuitionistic and…