Loading…
Loading…
Concept · Foundations
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
Following the links will take you to the page where this term is introduced in context.
Related