PulseAugur
中
实时 06:22:46
实体 Dyadic deontic logic

Dyadic deontic logic

PulseAugur coverage of Dyadic deontic logic — every cluster mentioning Dyadic deontic 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_284322 ·

    LogiKEy方法学使用证明助手教授逻辑

    一种名为LogiKEy的新方法学被提出，用于向计算机科学、数学和哲学专业的学生教授逻辑。该方法利用单一证明助手Isabelle/HOL，通过语义嵌入来编码各种对象逻辑。该方法学通过一系列示例进行，从简单的谜题开始，逐步深入到动态认知逻辑和义务逻辑等复杂主题，最终展示其在研究级论证中的应用。