Pietruszczak, A. (2024). Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules. Bulletin of the Section of Logic, 53(4), 511–533. https://doi.org/10.18778/0138-0680.2024.12