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 ).
Jedno z jej praw zostało sformułowane już przez scholastyków: ab esse ad posse valet, a posse ad esse non valet consequentia - od być do móc zachodzi wynikanie, od móc do być nie zachodzi.