Pietruszczak, Andrzej. “Some Additional Axioms for T-Normal Logics. Defining K45, KB4, KD45 and S5 Without Using Modal Rules”. Bulletin of the Section of Logic, vol. 53, no. 4, June 2024, pp. 511-33, doi:10.18778/0138-0680.2024.12.