Deonttinen logiikka eli
normilogiikka on
modaalilogiikan alue, joka käsittelee
välttämättömyyttä (tai velvollisuutta),
mahdollisuutta (tai luvallisuutta) ja näihin liittyviä käsitteitä (kuten pakollinen, sallittu, kielletty). Formaalisena järjestelmänä deonttinen logiikka pyrkii kuvaamaan näiden käsitteiden loogisia ominaisuuksia. Deonttinen logiikka käyttää tyypillisesti ilmaisua
OA merkitsemään
on välttämätöntä, että A (tai
pitäisi olla, että A), ja ilmaisua
PA merkitsemään
on mahdollista, että A. Termi
deonttinen on johdettu
muinaiskreikan sanasta
déon, "se mikä on sitovaa".