LILaC - paper abstract

A computationally grounded dynamic logic of agency, with an application to legal actions

Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard