Assertion, denial and some cancellation rules in modal logic - Williamson, T (Kluwer Academic Publishers, 1988)