Local Fact Change Logic, Memory Logic and Expressive Power

https://declanthompson.github.io/talk/tsu_19-10-06/