aleetiline loogika, modaalse loogika haru, milles modaalsetele operaatoritele omistatakse mõte „paratamatu – võimalik – võimatu”.

VE, 2006