本文選題：中介邏輯 + 多模態(tài)邏輯��； 參考：《南京航空航天大學學報》1996年01期

【摘要】：多模態(tài)邏輯作為模態(tài)邏輯的擴充，是模態(tài)邏輯進行時態(tài)和動態(tài)擴充的基礎。中介邏輯是一個新的邏輯系統(tǒng)，自創(chuàng)立后得到了很大發(fā)展，并在數(shù)理邏輯及計算機科學領域中得到廣泛應用。為將中介邏輯進行時態(tài)和動態(tài)擴充，本文構造了一種基于中介邏輯的多模態(tài)邏輯系統(tǒng)ＭＭＫ，討論了它的推理規(guī)則和語義解釋，并證明了ＭＭＫ的可靠性和完備性，在此基礎上給出了一種基于中介邏輯的時態(tài)邏輯系統(tǒng)ＭＴ，，對它的可靠性和完備性進行了討論。最后，分析了相應的經(jīng)典多模態(tài)邏輯系統(tǒng)與ＭＭＫ系統(tǒng)及經(jīng)典時態(tài)邏輯系統(tǒng)和ＭＴ系統(tǒng)之間的關系。
[Abstract]:As an extension of modal logic, multimodal logic is the basis of temporal and dynamic expansion of modal logic. Intermediary logic is a new logic system, which has been developed greatly since its creation and has been widely used in the fields of mathematical logic and computer science. In this paper, a multimodal logic system based on intermediary logic is constructed, its reasoning rules and semantic interpretation are discussed, and the reliability and completeness of MMK are proved. On this basis, a temporal logic system based on intermediary logic is presented, and its reliability and completeness are discussed. Finally, the relationship between the corresponding classical multimodal logic system and the MMK system, the classical temporal logic system and the MT system is analyzed.
【作者單位】： 南京航空航天大學計算機科學與工程系
【基金】：國家高技術研究發(fā)展計劃,國家基礎研究“攀登計劃”資助
【分類號】：O141

【相似文獻】

相關期刊論文 前10條

1 肖奚安,朱梧i

本文編號：1818457