Dzik, et al.. Characterizing Intermediate Tense Logics in Terms of Galois Connections. Oxford University Press (OUP), July 2014, doi:10.1093/jigpal/jzu024.