Characterizing intermediate tense logics in terms of Galois connections

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

We propose a uniform way of defining for every logic $\mathsf{L}$ intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK…