Predicate logic
Home
>
Philosophy
>
Logic
>
Modal Logic
>
Predicate logic
A formal system for expressing the logical relationships between objects and their properties.