In deontic logic, a binary operator interpreted as an obligation that be true conditioned on the case that obtains. For example, while there is no general obligation to remain awake at midnight, the conditional obligation:
seems true. There are different positions concerning whether conditional obligations ought to be treated as primitive or whether their analysis may be reduced to theses about obligations and conditionals.