connective binary connectives f br mally read ought case br read f b requires b br read b b require br read u unconditionally obligatory br read unconditionally forbidden mally defined f follows def f f b b br def b f b b f br def u mally proposed
Humanities Philosophy Logic Deontic Logic