论文部分内容阅读
向前向后方法是模型论及其应用研究中的一个新的工具.本文使用向前向后方法,对模态逻辑的两个定理构造了一种简单的证明.
模态逻辑两个定理的基于向前向后方法的证明
【摘 要】
：
向前向后方法是模型论及其应用研究中的一个新的工具.本文使用向前向后方法,对模态逻辑的两个定理构造了一种简单的证明.
【机 构】
：
华侨大学计算机科学系
【出 处】
：
北京工商大学学报：自然科学版
【发表日期】
：
2002年4期
其他文献
经济困难学生群体是独立学院学生中一支特殊群体,这一群体生活负担大、心理较为敏感、人际交往存在压力,部分人感恩意识和自立自强意识弱,在学生日常教育管理中,如何对其进行
高校生态文明教育要开展素质教育,重视大学生的全面发展。当前,大学生处在以可持续发展为宗旨的生态文明建设阶段,生态文明素质是每位大学生必备的品质。在思想教育工作中,融
为实现有源配电网实时仿真,在基于FPGA和指令流的实时仿真器的基础上,开发了一个适合多速率仿真的实时仿真器。采用数据共享和数据管道技术提高运算组件之间的数据吞吐量,在