Reasoning About Knowledge In Linear Logic: Modalities and Complexity
Reasoning About Knowledge In Linear Logic: Modalities and Complexity
复制标题
线性逻辑中知识的推理：模态和复杂性
DOI：
10.1007/978-1-4020-2808-3_17
复制
发表时间：
2004
期刊：
影响因子：
1.5
通讯作者：
M. Sadrzadeh
中科院分区：
文献类型：
--
作者：
M. Marion;M. Sadrzadeh
在本文中，我们简要地认为，雅克·杜布克斯提出的思想，为反实在论的激进版本，并声称它导致通过一个“子结构”逻辑，线性逻辑。我们进一步认为，为了避免问题，如“全知”，应该发展一个认识的线性逻辑，这将是足够弱，使代理人仍然可以被描述为全知的，而这将不再是问题。然后，我们研究了两种可能的方式来开发一个认知线性逻辑，并消除一个。最后，我们对复杂性做一些评论。本文包含一个编码在Coq的片段模态线性逻辑和证明的“智者”难题。
In this paper, we briefly argue, following ideas set forth by Jacques Dubucs, for a radical version of anti-realism and claim that it leads to the adoption of a ‘substructural’ logic, linear logic. We further argue that, in order to avoids problems such as that of ‘omniscience’, one should develop an epistemic linear logic, which would be weak enough so that the agents could still be described as omniscient, while this would not be problematic anymore. We then examine two possible ways to develop an epistemic linear logic, and eliminate one. We conclude on some remarks about complexity. The paper contains a coding in Coq of fragments of modal linear logic and a proof of the ‘wise men’ puzzle.