題 目:天輔邏輯論壇:模態(tài)邏輯系列講座
時(shí) 間:2025年3月24日(星期一)14:00
主講人:王軼
地 點(diǎn):績(jī)鏞樓(第3教學(xué)樓)3203室
主辦單位:國(guó)家治理學(xué)院
主講人簡(jiǎn)介:王軼,中山大學(xué)邏輯學(xué)教授,博士生導(dǎo)師,中國(guó)邏輯學(xué)會(huì)現(xiàn)代邏輯專業(yè)委員會(huì)主任。主要研究領(lǐng)域?yàn)閼?yīng)用邏輯和哲學(xué)邏輯,尤其關(guān)注模態(tài)邏輯理論及應(yīng)用、主體和多主體系統(tǒng)的邏輯、社會(huì)網(wǎng)絡(luò)的表征和推理等。
講座簡(jiǎn)介:
第二講為分布式知識(shí)的邏輯刻畫(huà),本講主要介紹關(guān)于分布式知識(shí)的邏輯刻畫(huà)所面臨的兩個(gè)經(jīng)典問(wèn)題:(1)不典范性與完全性證明的困難,(2)經(jīng)典形式語(yǔ)義解釋與直觀存在出入,以及后續(xù)改進(jìn)和解決方案。