Simplify the following text for a Grade 9 native English-speaking person.
Original: In mathematical logic , predicate logic is the generic term for symbolic formal systems like first-order logic , second-order logic , many-sorted logic or infinitary logic .
Simplified: Predicate logic is a system of mathematical logic .