Text this: Computational complexity of core fragments of modal logics T, K4, and S4