Multi-sorted logic is an extension of standard first-order (or higher-order) logic that incorporates a collection of distinct 'sorts' or types for variables and terms. This formal framework investigates logical systems for reasoning about domains partitioned into specific categories, enabling more expressive and type-safe formalization in various academic disciplines by explicitly typing the elements of the universe of discourse.