A. Pietruszczak, “Some additional axioms for t-normal logics. Defining K45, KB4, KD45 and S5 without using modal rules”, B Sect Log, p. 23 pp., Jun. 2024.