Kaiyang Lin, Zhe Lin. The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. In Patrick Blackburn, Emiliano Lorini, Meiyun Guo, editors, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. Volume 11813 of Lecture Notes in Computer Science, pages 140-152, Springer, 2019. [doi]
Abstract is missing.