Pietruszczak A. Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules. B Sect Log. 2024;53(4):511-533. doi:10.18778/0138-0680.2024.12