An Overview of Second-Order Logical Problems