Logic families

H. Andréka, Z. Gyenis, I. Németi +1

A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, i…