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