A Deontic Logic for Reasoning about Confidentiality.

Frédéric Cuppens Robert Demolombe

Published in: DEON (1996)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
access control
update semantics
spatial reasoning
qualitative reasoning
nonmonotonic logics
case based reasoning
software engineering
programming language
model checking
inference rules
formal semantics
formal theory