Pietruszczak, A. Some Additional Axioms for T-Normal Logics. Defining K45, KB4, KD45 and S5 Without Using Modal Rules. B Sect Log 2024, 23 pp..