It adds the notion of action to the study of modal logic, and it allows reasoning about change over time.