Obligation as Weakest Permission: a strongly Complete Axiomatization.

Frederik Van De Putte

Published in: Rev. Symb. Log. (2016)

Keyphrases

complete axiomatization
access control
third party
multi agent systems
inclusion dependencies
security policies
metadata
multi agent
deontic logic