In deontic logic, is ~obligation(~x)=permission(x)?
@niplav Yes! Although the terms used are normally obligatory and permissible.
@wistahe Nice!
a Schelling point for those who seek one