Deismi
Deismi on käsitys, jonka mukaan kaikkeuden järjestelmällisistä piirteistä on vastuussa Jumala, joka ei kuitenkaan vaikuta kaikkeuden tapahtumien kulkuun luomisen jälkeen.
Deonttinen logiikka
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".