Modální logika je oblast logiky zkoumající logické operace, tzv. modality (modální operátory jsou například „je možné, je nutné, je nemožné“).
Modální logika je oblast logiky zkoumající logické operace, tzv. modality (modální operátory jsou například „je možné, je nutné, je nemožné“).