Dynamic Modal Logic

Home > Philosophy > Logic > Modal Logic > Dynamic Modal Logic

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