群体宣告受限能力与群体知识

来源 :2017年全国现代逻辑学术研讨会 | 被引量 : 0次 | 上传用户:zhangyong131420
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
群体宣告逻辑中提出的群体宣告算子作为能力算子,刻画出不同主体所构成的群体通过进行联合宣告而令某事为真的能力.鉴于主体所具备认知能力受到限制,为了更准确地反映出现实的推理情形,本文将群体宣告逻辑置于觉知模型加以考察.另一方面,群体作为整体的认知能力亦自然地进入对群体所具备能力的讨论中.本文特别地考虑了群体宣告逻辑与分布式知识的结合,并指出相关结果能推广至其它类APAL逻辑的带分布式知识的扩充.
其他文献
  This paper proposes a new solution to the well-known Free Choice Permission Paradoxes[4,12,34],combining ideas from substructural logics and nonmon
会议
20世纪60年代,严峻的环境危机催生了波及人文科学和自然科学的各个研究领域的"环境转向",而美学学科内部拓展和变革自身的呼声也日益高涨,现代西方环境美学在这双重
会议
生态批评是一种具有强烈的现实关怀精神和鲜明实践品格的文化批评活动,这意味着它的理论反思必须在具体的现实历史语境中有所指向,现实生活世界是它的生长点和最终
会议
会议
本文在[1]的基础上,讨论具体的三类概念,类概念、个体概念和性质概念.不在最一般的语义框架讨论它们的结构,而是在满足标准规则的前提下进行讨论.在概念结构的基础
会议
  We investigate the problem of locally equivalent and model conservative rewritability of a formula φ in a modal logic into a formula ψ in a weake
会议
  In this paper,we propose a new neighborhood semantics for contingency logic,by introducing a simple property in standard neighborhood models.This s
会议
  This work is motivated by the following question: what is the weakest sub-theory of PA for which G(o)dels first incompleteness theorem (G1 for shor
会议
亚当斯和史东内克从传统的有效性观点之外,对指示条件句的推论提出了合理性这样的概念,并对这样的概念提出了两个不同的准则.本文从可断规性的概念分别来对两者提出
会议
  The paper proves that Lambek calculus with a De Morgan negation (LDN) is decidable which answers the open question in[9].Our proposal builds on the
会议