Objects, properties and relations added onto propositional logic. Allows for making statements about what is true/false for some, all or no objects