LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Eelnevas eeldatakse, et kõik valemid väljendavad nii-
öelda loogilisi tõdesid.)
Deontilist loogikat on arendatud väga keerukates variantides ning need ei ole alati
omavahel kooskõlas. Nt mitteiteratiivses (noniterative) deontilises loogikas ei saa tegu ümber
teha ehk korrata, küll aga saab uuesti teha samalaadset tegu. Selle loogika põhihulgas
(teoindiviidide hulgas) pole toiminguid, mille sooritamata jätmine või sooritamine on lihtsalt
lubatud, üks kahest on kohustuslik. Mitteiteratiivse deontilise loogika põhiaksioomid:
Op ¬O(¬p) Kui toiming on kohustuslik, siis on mittekohustuslik selle
tegemata jätmine.
Op & Oq O(p & q) Toimingu p sooritamine on kohustuslik ja toimingu q
sooritamine on kohustuslik parajasti siis, kui kohustuslik
on mõlema toimingu sooritamine.
O(p ¬p) Toimingu sooritamine või selle mittesooritamine on
annaabi.ee 
