论文09:58
HOL中一阶模态逻辑的深与浅嵌入及自动忠实性（扩展预印本）这篇论文用Isabelle/HOL把一阶模态逻辑的深和浅嵌入都严格形式化了，还自动化证明了忠实性，做形式化逻辑或模态逻辑验证的值得看。
#一阶模态逻辑
共 1 条 · 7 天 0 条 · 30 天 0 条
信息流里打上「一阶模态逻辑」标签的资讯、产品与论文，按刊登时间排，新的在上。
7月14日
这篇论文用Isabelle/HOL把一阶模态逻辑的深和浅嵌入都严格形式化了，还自动化证明了忠实性，做形式化逻辑或模态逻辑验证的值得看。