modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule (A∧B)→C ⊢ (◻A∧◻B)→◻C