Unter Logik höherer Stufe (englisch Higher-Order Logic, HOL), auch Stufenlogik, versteht man eine Erweiterung der Prädikatenlogik erster Stufe.
Sie basiert auf dem typisierten Lambda-Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück.
Entwickelt um 1940 als ein Versuch der Formalisierung der Logik in der Principia Mathematica von Whitehead und Russell, ist sie von Leon Henkin und ...
