TY  - RPRT
TI  - Characterizing intermediate tense logics in terms of Galois connections
AU  - Wojciech Dzik
AU  - Jouni Järvinen
AU  - Michiro Kondo
PY  - 2014
DO  - 10.1093/jigpal/jzu024
UR  - https://arxiv.org/abs/1401.7646
ID  - 1401.7646
ER  -