It studies how representations in these logics behave inside a dynamic environment, and introduces operators for lowering a query right after actions to an initial state, or updating the illustration versus Individuals steps.I will be giving a tutorial on logic and learning having a concentrate on infinite domains at this year's SUM. Connection to