Volume 6: January - December 1996

Issue 3: June 1996


The dynamic logic of permission

  • The dynamic logic of permission
  • R. van der Meyden Department of Computing Science, University of Technology, Sydney, PO Box 123, Broadway, NSW 2007, Australia. Email: ron@socs.uts.edu.au


    Applications of deontic logic in areas such as intelligent legal information systems require the ability to represent at least two different notions of permission, one of which, 'free choice permission', cannot be adequately represented in standard modal logics. We define a logic which handles this modality by using ideas from dynamic logic. The logic is also able to express a different notion of permission corresponding to a lack of prohibition. The main result is the completeness of an axiomatization of the logic.

    Keywords: Deontic logic, dynamic logic, modal logic, actions, permission.

    Pages: 465 - 479

    Part of the OUP Journal of Logic and Computation WWW service

    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 23 Jul 96

    Part of the OUP Journals World Wide Web service.

    Copyright Oxford University Press, 1996