First order logic

domain of discourse second order logic peano arithmetic skolemization monadic second order logic tautology herbrandization presburger arithmetic predicate logic propositional logic

yogic ergic algic logic zigic magic argic phagic belgic tragic agogic fungic energic otalgic plaggic ellagic iraggic pelagic anergic unmagic