[1]
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. (Jun. 2024), 23 pp. DOI:https://doi.org/10.18778/0138-0680.2024.12.