Por ejemplo la lógica de segundo orden, la lógica modal y la lógica temporal.