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 2025 Dec. 7];53(4):511-33. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/22813