Is Free Choice Permission Admissible in Classical Deontic Logic?

Guido Governatori Antonino Rotolo

Published in: CoRR (2019)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
access control
nonmonotonic logics
state space
security policies
rule sets
role based access control
formal semantics
artificial intelligence
third party
dynamical systems
fuzzy logic
knowledge representation
data model