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, p. 23 pp. doi: 10.18778/0138-0680.2024.12.