Concept · Foundations
Modal Duality
The equivalence between box and diamond via negation: the box of P is equivalent to not the diamond of not P, and vice versa.
Why it matters
Duality lets you move between necessity and possibility statements freely and is the engine of most short modal derivations.
Where this shows up
Units and lessons using this concept
Following the links will take you to the page where this term is introduced in context.
Related