----------------------
Deontic logic examples
----------------------

Experimenting with deontic logic examples.
