A theory of permission based on the notion of derogation

DOI10.1016/j.jal.2010.01.001zbMath1198.03035OpenAlexW2134349791MaRDI QIDQ975881

Audun Stolpe

Publication date: 11 June 2010

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2010.01.001

zbMATH Keywords

contractioninput/output logicpermissioninformation accountabilitypolicy specification

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

An inconsistency-adaptive deontic logic for normative conflicts ⋮ Adaptive logic characterizations of input/output logic ⋮ Unnamed Item ⋮ On the complexity of input/output logic ⋮ Computing strong and weak permissions in defeasible logic ⋮ Two adaptive logics of norm-propositions ⋮ A Lewisian taxonomy for deontic logic

Cites Work

• Reversing the Levi identity
• Permission from an input/output perspective
• Input/output logics
• Conditional obligation and positive permission for agents in time
• Variations in Access Control Logic
• On the logic of theory change: Partial meet contraction and revision functions
• The dynamic logic of permission
• Constraints for input/output logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item