首頁(yè) > 期刊 > 自然科學(xué)與工程技術(shù) > 基礎(chǔ)科學(xué) > 基礎(chǔ)科學(xué)綜合 > 中山大學(xué)學(xué)報(bào)論叢 > 宣告群組的無(wú)知來(lái)消除主體的無(wú)知——基于無(wú)知的一個(gè)群組宣告邏輯 【正文】
宣告群組的無(wú)知來(lái)消除主體的無(wú)知——基于無(wú)知的一個(gè)群組宣告邏輯
范杰 北京師范大學(xué)哲學(xué)學(xué)院
- 邏輯
- 無(wú)知
- 表達(dá)力
- 性問題
- 完全性
摘要：本文提出一個(gè)基于無(wú)知的群組宣告邏輯，該邏輯是帶有宣告算子的無(wú)知邏輯加上一個(gè)基于無(wú)知的群組宣告算子的擴(kuò)展，用以表達(dá)群組中的每個(gè)主體宣告他們各自的無(wú)知后什么東西為真。我們對(duì)比這一邏輯和文獻(xiàn)中相關(guān)邏輯的相對(duì)表達(dá)力，并研究該邏輯的框架可定義性問題。另外，我們也提出一個(gè)公理化系統(tǒng)并證明它的完全性。
- 邏輯
- 無(wú)知
- 表達(dá)力
- 性問題
- 完全性
摘要：本文提出一個(gè)基于無(wú)知的群組宣告邏輯，該邏輯是帶有宣告算子的無(wú)知邏輯加上一個(gè)基于無(wú)知的群組宣告算子的擴(kuò)展，用以表達(dá)群組中的每個(gè)主體宣告他們各自的無(wú)知后什么東西為真。我們對(duì)比這一邏輯和文獻(xiàn)中相關(guān)邏輯的相對(duì)表達(dá)力，并研究該邏輯的框架可定義性問題。另外，我們也提出一個(gè)公理化系統(tǒng)并證明它的完全性。
注：因版權(quán)方要求，不能公開全文，如需全文，請(qǐng)咨詢雜志社
中山大學(xué)學(xué)報(bào)論叢
- 預(yù)計(jì)1個(gè)月內(nèi) 預(yù)計(jì)審稿周期
- 教育 快捷分類
- 月刊 出版周期
主管單位：中山大學(xué);主辦單位：中山大學(xué)
