PulseAugur
中
实时 14:52:14
实体 Kraus, Lehmann and Magidor

Kraus, Lehmann and Magidor

PulseAugur coverage of Kraus, Lehmann and Magidor — every cluster mentioning Kraus, Lehmann and Magidor across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天

2 天有情绪数据

最近 · 第 1/1 页 · 共 2 条
  1. RESEARCH · CL_79107 ·

    新逻辑框架将可废止信念与多视角相结合

    研究人员将可废止逻辑与立场逻辑相结合，创建了可废止受限立场逻辑（DRSL）。该框架允许正式表达考虑多个、可能冲突的视角，每个视角都持有可被覆盖的信念的知识。该论文为DRSL语义提供了基础性结果，并将命题逻辑的蕴含关系扩展到这个新的、增强了立场的语境中，包括理性闭包和字典序闭包。
  2. RESEARCH · CL_41747 ·

    逻辑论文探讨累积命题依赖逻辑中的蕴含复杂度

    本文深入探讨了累积命题依赖逻辑和团队语义中蕴含的复杂度。它为这些逻辑系统建立并证明了特定的复杂度结果。该研究利用关系模型来解决蕴含问题，并将这些发现与 Kraus、Lehmann 和 Magidor 提出的 System C 和累积模型联系起来。