# regular modal logic

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

**Wikidata**: [Q7309611](https://www.wikidata.org/wiki/Q7309611)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Regular_modal_logic)  
**Source**: https://4ort.xyz/entity/regular-modal-logic