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