ECAI 2020 Presentation for paper 808 "Explicit Negation in Linear-Dynamic Equilibrium Logic" by Pedro Cabalar