Logika modalna
Z Wikipedii
Logika modalna - dział logiki, który bada pojęcia możliwości, konieczności i ich wariantów.
Tradycyjnie za logiki modalne uważa się te logiki, które obejmują pojęcia możliwości (oznaczaną jako ) i konieczności (). Dodatkowo zachodzi zasada: coś jest konieczne wtw., gdy nie jest możliwe, żeby nie zachodziło (mamy ).