題 目：天輔邏輯論壇：模態(tài)邏輯系列講座
時(shí) 間：2025年3月25日（星期二）8:30
主講人：王軼
地 點(diǎn)：績(jī)鏞樓（第3教學(xué)樓）3203室
主辦單位：國(guó)家治理學(xué)院
主講人簡(jiǎn)介：王軼，中山大學(xué)邏輯學(xué)教授，博士生導(dǎo)師，中國(guó)邏輯學(xué)會(huì)現(xiàn)代邏輯專(zhuān)業(yè)委員會(huì)主任。主要研究領(lǐng)域?yàn)閼?yīng)用邏輯和哲學(xué)邏輯，尤其關(guān)注模態(tài)邏輯理論及應(yīng)用、主體和多主體系統(tǒng)的邏輯、社會(huì)網(wǎng)絡(luò)的表征和推理等。
講座簡(jiǎn)介：
第三講為加權(quán)模態(tài)邏輯，相較于經(jīng)典模態(tài)邏輯，加權(quán)模態(tài)邏輯為可通達(dá)關(guān)系添加了（可通過(guò)不同形式表示的）權(quán)重，使之具備更為豐富的刻畫(huà)能力。本講首先介紹加權(quán)模態(tài)邏輯研究的一些已有發(fā)現(xiàn)，在此基礎(chǔ)上結(jié)合第二講內(nèi)容，以加權(quán)模態(tài)邏輯中對(duì)分布式知識(shí)的刻畫(huà)為切入點(diǎn)，展示加權(quán)模態(tài)邏輯作為一種知識(shí)邏輯的特色與優(yōu)勢(shì)。
