These are the most studied language in logic, they admit very nice model theory, and thanks to classifying toposes also a functorial model theory, in the sense that models can be thought as functors preserving a certain kind of structure.