Dynamic logic

Home > Philosophy > Logic > Predicate Logic > Dynamic logic

A type of logic that deals with the evolution of knowledge and beliefs over time, in response to new information or actions.