Lógica de orden superior

A veces también se pretenden excluir los tipos polimórfico y dependiente.Hay dos semánticas posibles para la lógica de orden superior.Por lo tanto, en semántica estándar, una vez que se define el conjunto de individuos, es suficiente para especificar todos los cuantificadores.LOS con semántica estándar es más expresivo que la lógica de primer orden.Sin embargo, también se ha estudiado la lógica de orden superior modal.Según varios lógicos, la prueba ontológica de Gödel se estudia mejor (desde una perspectiva técnica) en tal contexto.