Local Fact Change Logic, Memory Logic and Expressive Power

https://declanthompson.github.io/talk/lira_2020-02-13/