deontic-de-bgb-0.1.0.0: German Civil Code (BGB) fragment with type-level stratified deontic logic

deontic-de-bgb-0.1.0.0: German Civil Code (BGB) fragment with type-level stratified deontic logic

German Civil Code (BGB) fragment with type-level stratified deontic logic

Modules

deontic-de-bgb-0.1.0.0

Deontic
Submodules
- BGB
  Submodules
  - Deontic.BGB.Capacity
  - Deontic.BGB.Types