Deontic Logic

Deontic Logic is a branch of logic dedicated to dealing with principles of duty or morality. It emphasizes on what we should and shouldn't do - in terms of obligation, permission, or prohibition. For instance, "John ought to study" implies the obligation. It's widely used in philosophy, law, and computer science to evaluate rule-based systems.