deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic
Korean Civil Act (민법) with type-level stratified deontic logic
Modules
deontic-kr-civil-0.2.0.0
- Deontic
- Deontic.Civil
- Deontic.Civil.AcquisitivePrescription
- Deontic.Civil.Acts
- Deontic.Civil.Agency
- Deontic.Civil.AgencyRemedies
- Deontic.Civil.Cancellation
- Deontic.Civil.CoOwnership
- Deontic.Civil.ConditionalAct
- Deontic.Civil.DefaultObligation
- Deontic.Civil.Evaluate
- Deontic.Civil.Invalidity
- Deontic.Civil.Lease
- Deontic.Civil.Persons
- Deontic.Civil.Possession
- Deontic.Civil.Prescription
- Deontic.Civil.PropertyTransfer
- Deontic.Civil.Render
- Deontic.Civil.Rescission
- Deontic.Civil.SaleWarranty
- Deontic.Civil.Tort
- Deontic.Civil.Types
- Deontic.Civil