Otra manera de estudiar la complejidad es usando la conexión con las lógicas modales proposicionales.