基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]多類(lèi)命題動(dòng)態(tài)邏輯專(zhuān)業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)多類(lèi)命題動(dòng)態(tài)邏輯