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