First Sentence

"During the XXth century, numerous logics have been created: intuitionistic logic, quantum logic, modal logic, many-valued logic, relevant logic, paraconsistent logic, erotetic logic, polar logic, linear logic, non-monotonic logic, dynamic logic, free logic, fuzzy logic, paracomplete logic, etc."