Hüperonüümid:
modaalloogika 1(n)
deontiline loogika 1(n)

loogiline arvutus, mis uurib lubatavuse ja kohustuslikkuse vahelisi suhteid

domain_topic
matemaatika 1(n)