It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic.
It is more expressive than propositional logic. It has more efficient decision problems than first-order predicate logic.