First-Order Logics

In this chapter we introduce the first-order logics that correspond to the propositional ones discussed in the previous section. We will consider many-sorted firstorder logics where many-sortedness is significant for the applications further to be discussed.