Many-sorted logic

Many-sorted logic is a type of logic that extends classical first-order logic by allowing variables to take values from multiple distinct types or sorts. In a many-sorted logic system, the domain of discourse is divided into different sorts, each representing a different type of object. This contrasts with standard first-order logic, where there is typically a single domain of discourse.