圆柱
发表于 2025-3-23 13:11:12
http://reply.papertrans.cn/29/2837/283630/283630_11.png
死亡率
发表于 2025-3-23 14:39:53
Ecumenical Modal Logic,d, recently Prawitz and others have been discussing the so called ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz’ system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant fo
保存
发表于 2025-3-23 18:39:39
http://reply.papertrans.cn/29/2837/283630/283630_13.png
失望未来
发表于 2025-3-24 01:55:54
http://reply.papertrans.cn/29/2837/283630/283630_14.png
嬉耍
发表于 2025-3-24 06:15:31
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge,e, . (DK) is often taken to reflect the potential knowledge of a group: what agents . know if they had unbounded means of communication and deductive ability. However, this does not specify whether/how this potential can be actualized, especially since real people are not unbounded reasoners. Inspir
rods366
发表于 2025-3-24 09:37:16
Simpler Completeness Proofs for Modal Logics with Intersection,nowledge, propositional dynamic logic with intersection, and description logics with concept intersection. Completeness proofs for such logics tend to be complicated, in particular on model classes such as S5 used, e.g., in standard epistemic logic, mainly due to the undefinability of intersection o
尽忠
发表于 2025-3-24 14:45:21
http://reply.papertrans.cn/29/2837/283630/283630_17.png
Alveolar-Bone
发表于 2025-3-24 18:48:15
http://reply.papertrans.cn/29/2837/283630/283630_18.png
climax
发表于 2025-3-24 21:54:13
http://reply.papertrans.cn/29/2837/283630/283630_19.png
表示向前
发表于 2025-3-24 23:21:27
Alan V. Stewart,Nicholas W. Ellisonnot initiate communication are harder to identify than agents that do. This has paradoxical consequences for measures against unreliability, for example to combat the spread of fake news in social networks.