Pietruszczak A. Some additional axioms for t-normal logics. Defining K45, KB4, KD45 and S5 without using modal rules. B Sect Log [Internet]. 2024 Jun. 24 [cited 2024 Jul. 22];:23 pp. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/22813