混合公开宣告逻辑  

Hybrid Logic of Public Announcements

作　　者：何键枫 王轶[1] Jianfeng He;YìN Wáng

机构地区：[1]浙江大学哲学系、语言与认知研究中心

出　　处：《逻辑学研究》2020年第2期41-57,共17页Studies in Logic

基　　金：国家社科基金青年项目(16CZX048)。

摘　　要：人类在思考问题时,常常伴随着对各种可能情形的审视。在经典公开宣告逻辑中,排除掉不可能的情形即实现对信念的修正。为了能够在语言中直接表达可能情形,本文探讨公开宣告逻辑的混合化,即增加用于指称可能情形的专名。结合对直接和间接宣告的区分,引入三个不同的语言。公开宣告逻辑的混合化会导致技术上的困难,为防止专名失去指称,本文采取基于K45模型的“删链”语义学。在此基础上,本文考察宣告须真和宣告可假两种语义设定,共引入五个混合公开宣告逻辑,对比它们的表达能力,并给出可靠且完全的公理系统。In this paper,we study the combination of hybrid logic and public announcement logic.We adopt the“link-cutting”semantics based on K45 models to prevent nominals from losing denotation.We investigate both classical and indirect public announcements in this new setting.We also consider logics with only truthful announcements and those allowing false ones.Five logics based on three languages interpreted over two semantics are introduced.Their relative expressivity results and sound and complete axiomatizations are studied in the paper.

关 键 词：认知逻辑 混合逻辑 模态逻辑 公开宣告逻辑 直接宣告 间接宣告 

分 类 号：B81[哲学宗教—逻辑学]