A theory of permission based on the notion of derogation

Journal of Applied Logic - Tập 8 - Trang 97-113 - 2010
Audun Stolpe1
1Department of Informatics, Informatikkbygget, Gaustadallen 23, N-0371 Oslo, Norway

Tài liệu tham khảo

Abadi, 2008, Variations in access control logic, 96 Abadi, 1993, A calculus for access control in distributed systems, ACM Transactions on Programming Languages and Systems, 15, 706, 10.1145/155183.155225 Alchourron, 1971 Alchourron, 1981, The expressive conception of norms Alchourron, 1984, Permission and permissive norms Alchourron, 1985, On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic, 50, 510, 10.2307/2274239 Atienza, 1998 Brown, 2000, Conditional obligation and positive permission for agents in time, Nordic Journal of Philosophical Logic, 5, 83, 10.1080/08066200050505779 Bulygin, 1985, Norms and logic, Law and Philosophy, 4, 145, 10.1007/BF00157086 Campbell, 2006 Chellas, 1980 D. Ferraiolo, R. Kuhn, Role-based access control, in: Proceedings of the 15th National Computer Security Conference, 1992 Hansso, 1993, Reversing the Levi identity, Journal of Philosophical Logic, 22, 637, 10.1007/BF01054039 Hart, 1997 Kelsen, 1991 Lewis, 1979, A problem about permission Makinson, 1999, On a fundamental problem of deontic logic Makinson, 2000, Input/output logics, Journal of Philosophical Logic, 29, 383, 10.1023/A:1004748624537 Makinson, 2001, Constraints for input/output logics, Journal of Philosophical Logic, 30, 155, 10.1023/A:1017599526096 Makinson, 2003, What is input/output logic, vol. 17, 163 Makinson, 2003, Permission from an input/output perspective, Journal of Philosophical Logic, 32, 391, 10.1023/A:1024806529939 L. McCarty, Permissions and obligations, in: Proceedings IJCAI-83, 1983, pp. 287–294 Opalek, 1973, On strong and weak permission, Rechtstheorie, 4, 169 Opalek, 1991, Normative systems, permission and deontic logic, Ratio Juris, 4, 334, 10.1111/j.1467-9337.1991.tb00103.x Raz, 1990 Ross, 1968 R. Sandhu, D.F. Ferraiolo, D.R. Kuhn, The NIST model for role-based access control, in: Proceedings of the 5th ACM Workshop on Role-Based Access Control, 2000 A. Stolpe, Norms and norm-system dynamics, PhD thesis, Department of Philosophy, University of Bergen, Norway, 2008 Tan, 1998, A logical model of directed obligations and permissions to support electronic commerce, Intl. J. Electronic Commerce, 3, 87, 10.1080/10864415.1998.11518335 Y.B. Udupi, M.P. Singh, Multiagent policy architecture for virtual business organizations, in: Proceedings of the IEEE International Conference on Services Computing (SCC), 2006 van der Meyden, 1996, A dynamic logic of permission, Journal of Logic and Computation, 6, 465, 10.1093/logcom/6.3.465 L. van der Torre, G. Boella, Permissions and obligations in hierarchical normative systems, in: Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003 von Wright, 1963 Weinberger, 1977, Normenlogik und logische Bereiche Weinberger, 1985, The expressive conception of norms—an impasse for the logic of norms, Law and Philosophy, 4, 165, 10.1007/BF00157087 Weitzner, 2008, Information accountability, Communications of the ACM, 51, 10.1145/1349026.1349043