On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.

Flavio Ferrarotti, Senn Gonzlez, Jos Maria Turull Torres

Browse the full WoLLIC paper archive.