论文部分内容阅读
完全性是模态逻辑中的重要问题，它与可靠性一起构成模态逻辑三大理论之一的刻画理论。在模态逻辑创立初期，逻辑学家们致力于模态系统的性质和基础的研究，由于缺乏完善的语义解释，模态逻辑的完全性问题没有得到解决。
正规模态逻辑完全性理论研究综述
【摘 要】
：
完全性是模态逻辑中的重要问题，它与可靠性一起构成模态逻辑三大理论之一的刻画理论。在模态逻辑创立初期，逻辑学家们致力于模态系统的性质和基础的研究，由于缺乏完善的语义解释
【机 构】
：
南开大学哲学系
【出 处】
：
华北水利水电学院学报：社会科学版
【发表日期】
：
2007年5期
其他文献
都说“一年之计在于春”,在这最明媚的四月天里,天空是沉碧的,太阳似海绵一样温软.一阵风起,满城的杜鹃争先恐后地娇艳起来,伴着鸟儿的莺莺絮语,就连人儿也显得更加活力与多
随着Internet技术的普及，信息共享的程度越来越高，将避雷监测的相关信息传递送到Intemet上，实现远程监测具有重要意义。现设计一种电气设备防雷集中监测系统，完成了主要硬件模块
近日从全国石油产品和润滑剂标准化技术委员会(简称石化标委会)了解到，2005年已确定的要制定和修订的石油化工类标准计划项目为33项。在这些标准制修订计划项目中，中国石化承担
近日在济南召开的食品质量安全与质量管理高层论坛会上，国家将针对食品添加剂暴露出的较多问题对其实行市场准入制度。
针对近段时间醋酸产品价格大幅上涨的情况，大庆石化公司化工二厂采取多种措施增加醋酸产品的产量。目前，这个厂的醋酸装置每天生产醋酸270吨左右，达到历史较高水平。
2006年1月1日生效的新《公司法》对公司取得自己股份制度进行了补充和完善，适应了市场经济发展的需要。然而关于公司取得自己股份的涵义，我国学者并没有统一的界定，而且对该项制
实施创新教育是建设创新型国家的根本保证，高校数学教育在创新教育中具有独特的战略地位已成为社会的共识。高校数学教师责任重大，使命神圣。从创新教育的基本要求出发，论述了当
从金属检测仪的工作原理入手,介绍了金属检测仪的适用对象,同时探讨了固体制剂生产检测过程中的金属来源、剔废率、安装条件、运行参数设定及维护等相关问题。
前苏联的计划经济是计划与行政命令的结合，用行政手段贯彻计划。我国上个世纪的“计划经济”基本是前苏联模式。60年代经济界对苏联模式进行过反思，但由于把计划经济看成是社会