实体 Arrow Type

Arrow Type

PulseAugur coverage of Arrow Type — every cluster mentioning Arrow Type 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 页 · 共 1 条

TOOL · CL_49319 · May 22 · 07:36

模态判断聚合面临箭头型不可能

研究人员开发了一种新的模态判断聚合不可能定理，证明了即使在简化的模态逻辑设置中，也可能出现箭头型不可能。该研究侧重于聚合关于模态命题而非简单事实命题的判断，表明仅语义结构就能产生独裁所必需的逻辑关联。分析涉及一个语义归约定理和一个将框架几何与最小不一致模态判断集联系起来的机制，该机制还能实现高效的聚合程序。