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