期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

模态逻辑两个定理的基于向前向后方法的证明 被引量：1

THE PROOFS BASED ON BACK AND FORTH METHOD FOR TWO THEOREMS IN MODAL LOGIC
下载PDF
导出
摘要 向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 . 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.
作者 潘孝铭
机构地区 华侨大学计算机科学系
出处 《北京工商大学学报（自然科学版）》 CAS 2002年第4期62-64,共3页 Journal of Beijing Technology and Business University:Natural Science Edition
关键词 模态逻辑 向前向后方法 模态内插定理 VanBenthem定理 模态等价公式 modal logic back and forth method
分类号 B815.1 [哲学宗教—逻辑学] O141 [理学—基础数学]
  • 相关文献

参考文献4

  • 1王世强.模型论基础[M].北京:科学出版社,2000.20-40.
  • 2Doets K. Basic model theory[M]. CSLI Publicaition, 1996.
  • 3Barwise J, van Benthem J. Interpolation,perservation and pebble games [J].Symbolic Logic, 1999(64): 881-903.
  • 4Andréka H, Németi I, van Benthem J. Modal languages and bounded frgaments of predicate logic[J]. Philosophical Logic, 1998(27): 217-274.

共引文献1

同被引文献3

  • 1王世强.模型论基础[M].北京:科学出版社,2000.20-40.
  • 2Doets K. Basic model theory[M].North Holland:CSLI Publicaition, 1996.30～38
  • 3Barwise J, Van-Benthem J. Interpolation,perservation and pebble games [J].Symbolic Logic, 1999,64(4): 881～903

引证文献1

北京工商大学学报（自然科学版）
2002年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部