PulseAugur
中
实时 09:48:24
实体 First-Order Modal Logic

First-Order Modal Logic

PulseAugur coverage of First-Order Modal Logic — every cluster mentioning First-Order Modal Logic across labs, papers, and developer communities, ranked by signal.

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

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_141347 ·

    在Isabelle/HOL中开发了一阶模态逻辑的新嵌入方法

    研究人员开发了在Isabelle/HOL（一种高阶逻辑定理证明器）中嵌入一阶模态逻辑（FML）的新方法。这项工作将先前命题逻辑的研究扩展到了更复杂的一阶片段，提供了深层、最大浅层和最小浅层嵌入。一项关键贡献是实现了FML的向下Löwenheim-Skolem定理的机械化，这对于证明最小浅层嵌入的忠实度至关重要。