Synthese, Vol. 196, No. 7, Special Issue on Between First- and Second-Order Logie (July 2019), pp. 2643-2669 (27 pages) Quine's most important charge against second-, and more generally, higherorder ...

The field of theorem proving and higher‐order logic represents a confluence of computer science, mathematics and formal logic. It encompasses the automated and interactive approaches to ...

This is the logic which is obtained from FOL by augmenting it with the transitive closure operator. While the study of this logic has so far been mostly model-theoretical, this work is devoted to its ...