Myusu dīnu logika ir sadaleita rekursejis teorejā, modeļa teorejā i pīruodejumu teorejā, tei ir cīši saisteita ar teoretiskū datorzynuotni i kategoreju teoreju.