Javier Gutierrez-Rexach: Dynamic Action Semantics and Deontic Operators