Descriptive complexity theory is the study of the expressibility of computational problems in certain logics. Most of the results in this field use (fragments or extensions of) first-order logic or second-order logic to ...