R. van der Meyden Department of Computing Science, University of Technology, Sydney, PO Box 123, Broadway, NSW 2007, Australia. Email: email@example.com
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.
: Deontic logic, dynamic logic, modal logic, actions, permission.
Part of the OUP Journal of Logic and Computation WWW service
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