Alonderis R. On intuitionistic branching tense logic with weak induction. LMR [Internet]. 1998 Dec. 14 [cited 2025 Oct. 27];38(II):295–301 . Available from: https://test.zurnalai.vu.lt/LMR/article/view/37921