Given these operators and negation, one can always add ◊ i {\displaystyle \Diamond _{i}} modal operators defined as ◊ i P {\displaystyle \Diamond _{i}P} if and only if ¬ ◻ i ¬ P {\displaystyle \lnot \Box _{i}\lnot P} .
Dați fiind acești operatori, se pot adăuga întotdeauna ◊ i {\displaystyle \Diamond _{i}} operatori modali definiți ca ◊ i P {\displaystyle \Diamond _{i}P} dacă și numai dacă ¬ ◻ i ¬ P {\displaystyle \lnot \Box _{i}\lnot P} .