Logika modalna

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 $\Diamond$) i konieczności ($\Box$). Dodatkowo zachodzi zasada: coś jest konieczne wtw., gdy nie jest możliwe, żeby nie zachodziło (mamy $\Box p\leftrightarrow \lnot \Diamond \lnot p$).

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.