群體宣告邏輯研究

1、-獨(dú)創(chuàng)性聲明學(xué)位論文題目：J 焦重墮墨塑塹壅本人提交的學(xué)位論文是在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。論文中引用他人已經(jīng)發(fā)表或出版過(guò)的研究成果，文中已加了特別標(biāo)注。對(duì)本研究及學(xué)位論文撰寫(xiě)曾做出貢獻(xiàn)的老師、朋友、同仁在文中作了明確說(shuō)明并表示衷心感謝。學(xué)位論文作者： 馀贏 簽字日期： 2 I p f 2 年斗月凹日學(xué)位論文版權(quán)使用授權(quán)書(shū)本學(xué)位論文作者完全了解西南大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，有權(quán)保留并向國(guó)家有關(guān)部門(mén)或機(jī)構(gòu)送交論文的

2、復(fù)印件和磁盤(pán)，允許論文被查閱和借閱。本人授權(quán)西南大學(xué)研究生院( 籌) 可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。( 保密的學(xué)位論文在解密后適用本授權(quán)書(shū)，本論文：口不保密，口保密期限至 年 月止) 。學(xué)位論文作者簽名： 徐泉簽字E l 期：2 z ) t 2 ．年牛月2 宕日導(dǎo)師簽名：簽字日期： 日，，■iiJ 專(zhuān)月汐＼一◆年 釕· 一、原子群體宣告邏輯的語(yǔ)言和語(yǔ)

3、義??????????????????。2 8二、原子群體宣告邏輯的性質(zhì)???????????????????????2 9( 一) 原子群體宣告邏輯在互模擬下具有不變性??????????????2 9( - - ) 原子群體宣告邏輯中的有效式???????????????????2 9( 三) 原子群體宣告邏輯中群體之間的關(guān)系???????????????。3 0三、原子群體宣告邏輯的公理系統(tǒng)????????????????????