In this section we present the semantics of PDDL+. We begin by explaining our approach and then proceed to develop the semantics incrementally.