Debido a esos problemas se han buscado sistemas lógicos intermedios que generalicen la lógica de primer orden sin llegar a ser tan expresiva como una lógica de segundo orden.