LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
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
kohustuslik.
MODAALSE LOOGIKA LIIKIDEST
Ülalpool juba käsitleti aleetilist loogikat ning deontilist loogikat. Siinses alajaotuses
tutvustatakse põgusalt aksioloogilisi ja episteemilisi modaalsusi.
FORMAALNE AKSIOLOOGIA (formal axiology) on väärtushinnangute modaalne loogika.
Aksioloogilised (axiological, kr sõnast 'väärtuslik') modaalsed laused väljendavad
väärtushinnanguid. Väärtuse (value) abil saab hinnata tegevusakte, sündmusi või objekte,
omistades neile kas positiivse, neutraalse või negatiivse hinnangu, lähtudes üksikisiku või
annaabi.ee 
