deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic

Index - B

BadFaithDeontic.Civil.Types, Deontic.Civil
BadFaithCausationDeontic.Civil.Types, Deontic.Civil
BadFaithConditionDeontic.Civil.Types, Deontic.Civil
BadFaithKindDeontic.Civil.Types, Deontic.Civil
BadFaithPreventionDeontic.Civil.Types, Deontic.Civil
BlankDeontic.Civil.Render, Deontic.Civil
BlockDeontic.Civil.Render, Deontic.Civil
BoldDeontic.Civil.Render, Deontic.Civil
BonaFideThirdPartyDeontic.Civil.Types, Deontic.Civil
BuyerKnowledgeDeontic.Civil.Types, Deontic.Civil
ByCourtOrderDeontic.Civil.Types, Deontic.Civil
ByExpropriationDeontic.Civil.Types, Deontic.Civil
ByInheritanceDeontic.Civil.Types, Deontic.Civil
ByPublicAuctionDeontic.Civil.Types, Deontic.Civil