Predicate logic

Home > Philosophy > Logic > Modal Logic > Predicate logic

A formal system for expressing the logical relationships between objects and their properties.