This is a type of logic that is used to reason about obligation and permission. Deontic logic allows for the use of modalities like "should" and "ought.".
This is a type of logic that is used to reason about obligation and permission. Deontic logic allows for the use of modalities like "should" and "ought.".