Additionally, higher‐order logic, with its capability to treat functions and predicates as first‐class citizens, significantly expands the expressiveness of formal verification systems.

Hajnal Andréka, Johan van Benthem, István Németi, On A New Semantics for First-Order Predicate Logic, Journal of Philosophical Logic, Vol. 46, No. 3 (June 2017), pp. 259-267 ...

We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal ...