| 模态逻辑两个定理的基于向前向后方法的证明 |
| |
| 引用本文： | 潘孝铭. 模态逻辑两个定理的基于向前向后方法的证明[J]. 北京工商大学学报(自然科学版), 2002, 20(4): 62-64 |
| |
| 作者姓名： | 潘孝铭 |
| |
| 作者单位： | 华侨大学,计算机科学系,福建,泉州,362011 |
| |
| 摘 要： | 向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .
|
| 关 键 词： | 模态逻辑 向前向后方法 |
| 文章编号： | 1671-1513(2002)04-0062-03 |
| 修稿时间： | 2002-08-26 |
THE PROOFS BASED ON BACK AND FORTH METHOD FOR TWO THEOREMS IN MODAL LOGIC |
| |
| PAN Xiao ming. THE PROOFS BASED ON BACK AND FORTH METHOD FOR TWO THEOREMS IN MODAL LOGIC[J]. Journal of Beijing Technology and Business University:Natural Science Edition, 2002, 20(4): 62-64 |
| |
| Authors: | PAN Xiao ming |
| |
| Abstract: | Back and forth method is a new tool in study of model theory and its application.This paper construct short proofs for two theorems in modal logic by back and forth method. |
| |
| Keywords: | modal logic back and forth method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
