Computational complexity of core fragments of modal logics T, K4, and S4 - Walega, P (Springer International Publishing, 2019)