Wojciech Dzik, Jouni Järvinen, Michiro Kondo. Characterizing intermediate tense logics in terms of Galois connections. Logic Journal of the IGPL, 22(6):992-1018, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.