公开宣告逻辑的一个加标矢列演算  

A Labelled Sequent Calculus for Public Announcement Logic

作　　者：吴昊 汉斯·范·狄马希 陈锦盛 Hao Wu;Hans van Ditmarsch;Jinsheng Chen(Institute of Logic and Cognition,Sun Yatsen University;Department of Philosophy,Sun Yatsen University;CNRS,University of Toulouse,IRIT;Department of Philosophy(Zhuhai),Sun Yatsen University)

机构地区：[1]中山大学逻辑与认知研究所 [2]中山大学哲学系 [3]法国国家科学研究中心,图卢兹大学,图卢兹研究与信息研究所 [4]中山大学哲学系(珠海)

出　　处：《逻辑学研究》2023年第3期89-107,共19页Studies in Logic

摘　　要：公开宣告逻辑(PAL)是在认知逻辑(EL)中添加归约公理得到的拓展。本文为PAL提出一个无切割定理的加标矢列演算系统,该系统是在EL的加标矢列演算系统上添加归约公理对应的矢列规则得到的拓展,且切割可允准、支持停机搜索。Public announcement logic(PAL)is an extension of epistemic logic(EL)with some reduction axioms.In this paper,we propose a cutfree labelled sequent calculus for PAL,which is an extension of that for EL with sequent rules adapted from the reduction axioms.This calculus admits cut and allows terminating proof search.

关 键 词：认知逻辑 归约 公理 PAL 加标 切割 

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