实体
Van Benthem
Van Benthem
PulseAugur coverage of Van Benthem — every cluster mentioning Van Benthem across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新研究探讨双主体并发博弈框架的表示定理
一篇新发表在arXiv上的论文探讨了双主体一般并发博弈框架内实际权力的表示定理。该研究将van Benthem、Bezhanishvili和Enqvist（2019）之前的工作进行了泛化，重点关注“实际权力”作为联盟权力的表征概念。通过考察八类不同的通用并发博弈框架及其相应的邻域框架表示，该研究解决了标准并发博弈框架中的假设，例如序列性、主体独立性和确定性。
-
新的推论主义理论使用证明论语义重新定义信息
本文提出了一种新的信息推论主义语义理论，摆脱了传统的基于真理的定义。它引入了“推论子”（inferon）的概念作为信息的原始单位，并以证明论语义为基础。作者认为，这种方法为理解信息提供了更强大的数学和逻辑基础，尤其是在分布式系统和信息流的背景下。