The Logic of Obligation as Weakest Permission - (Short Version)

Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl. The Logic of Obligation as Weakest Permission - (Short Version). 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 139-150, Springer, 2012. [doi]

Abstract

Abstract is missing.