A. Pietruszczak, “Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules”, B Sect Log, vol. 53, no. 4, pp. 511–533, Jun. 2024.