Investigations into the Applications of Deontic Logic.

Nienke den Haan

Published in: Executable Modal and Temporal Logics (1993)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
nonmonotonic logics
formal semantics
digital forensics
update semantics
inference rules
information systems
relational databases
data model
automated reasoning