One of the central open questions in finite model theory asks whether there exists a logic
that captures polynomial time. This question is significant for several reasons, one of them …