Title: Computational Complexity of Logical Theories