本文選題：可能世界 + 關(guān)系��； 參考：《湘潭礦業(yè)學(xué)院學(xué)報》1998年02期

【摘要】：對關(guān)系語義學(xué)的基本概念可能世界、可通關(guān)系、賦值函數(shù)、個體域作了簡要分析，并運用模型〈Ｗ，Ｒ，Ｖ，Ｄ〉對必然命題、可能命題作出明確的語義定義，在此基礎(chǔ)上又根據(jù)可通關(guān)系Ｒ的不同性質(zhì)對模態(tài)邏輯系統(tǒng)Ｓ５、ＱＳ５等的有效性作了必要的證明，

本文編號：1745242