文件名称：kripke:Twelf 中的模态逻辑和 Kripke 语义
文件大小：2KB
文件格式：ZIP
更新时间：2024-07-18 15:25:37
克里普克 Twelf 中 Kripke 语义的形式化。 这段代码分为 kripke.elf 对盒子和菱形所需的预序的 Kripke 语义的表述。 modal-logic.elf 模态逻辑的正常表述。 等效.elf 翻译过程以及将 modal-logic.elf 翻译成 Kripke 语义的健全性和完整性证明。
【文件预览】：
kripke-master
----sources.cfg(43B)
----equivalence.elf(243B)
----README.md(404B)
----modal-logic.elf(3KB)
----kripke.elf(604B)