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 53, no. 4 (June 24, 2024): 511–533. Accessed December 7, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/22813.