Deontic logic. - McNamara, Paul (2006)