Text this: Computational complexity of logical problems