A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions

Andreas Herzig, Tiago De Lima, Emiliano Lorini, Nicolas Troquard. A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. In Thomas Ã…gotnes, Jan Broersen, Dag Elgesem, editors, Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Volume 7393 of Lecture Notes in Computer Science, pages 170-183, Springer, 2012. [doi]

Abstract

Abstract is missing.