There are other logic systems that build on propositional logic. One of these is predicate logic, which defines logical predicates, and looks at how they can be applied to arguments. Another system is called modal logic. It introduces two new junctors: "it is possible that" and "it is necessary that".