模态逻辑两个定理的基于向前向后方法的证明

• 作者: 潘孝铭
• 来源期刊: 北京工商大学学报(自然科学版)
• 学科: 工学
• 关键词: 模态逻辑 向前向后方法
• 年，卷（期）: 2002,（4）
• 所属期刊栏目: 应用科学
• 页码范围: 62-64
• 页数: 3页
• 分类号: TP31
• 字数: 3483字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-1513.2002.04.016

摘要

向前向后方法是模型论及其应用研究中的一个新的工具.本文使用向前向后方法,对模态逻辑的两个定理构造了一种简单的证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘孝铭	华侨大学计算机科学系	17	42	4.0	5.0