Деонтическая логика - это раздел логики, который изучает отношение между обязанностями, разрешениями и запретами. Она разрабатывает формальные правила для оценки высказываний о том, что должно, можно или не должно делать агент в определенной ситуации. Деонтическая логика используется для анализа этических вопросов, правовых норм и формализации различных видов обязательств и утверждений.