First-order logic

Home > Philosophy > Logic > Modal Logic > First-order logic

The study of logical relationships between objects and their properties.