本文對正規(guī)多元模態(tài)邏輯做了模型論視角的整體闡述。正規(guī)多元模態(tài)邏輯(PML)是對一元模態(tài)邏輯系統(tǒng)K,在n元算子上的推廣。而多元模態(tài)邏輯的研究相對于一元邏輯較為匱乏。文獻中的一系列有關PML的結果也被看作是有關K的結論的直接推廣,而缺少部分完整證明,且已有證明多為代數(shù)證明。PML對于K的推廣在某些方面是非平凡的,忽略這一點導致了一些教材及文章中甚至存在各種錯誤。從證明的角度上講,對于PML的證明有時也需要不同的方法�；谝陨蠋c考慮,我們認為有必要從模型論視角對PML做一個細致的考察,并給出一些模型論版本的證明,來簡化以往的代數(shù)證明,從而給研究者提供一個統(tǒng)一的參考。本文從兩個模態(tài)邏輯常用的模型構造方法(濾子和超濾擴張)出發(fā),以經(jīng)典教材中的定義為準,補全一些重要定理在多元語言下的模型論方法的詳細證明。然后我們對van-Benthem刻畫定理的多元版本證明做了一個澄清,考察了多元語言和一元語言下證明的具體區(qū)別。最后我們用模型論方法證明了PML具有插值性,而該定理在文獻中往往是被當作一些代數(shù)事實的推論。

【文章頁數(shù)】：23 頁


本文編號：3946388