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