logika deontiko

Izan beharrarekin eta egin beharrarekin loturiko proposizioen logika.