Definitsioon: loogika, mis uurib paratamatuse ja võimalikkuse mõistet
Mõiste: deontiline loogika
Ülemmõiste: loogika