论文部分内容阅读
本文证明模态系统P1的协调性.为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P1和严格蕴涵系统S1等价.
模态系统P1的协调性
【摘 要】
：
本文证明模态系统P1的协调性.为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P1和严格蕴涵系统S1等价.
【机 构】
：
南开大学哲学系
【出 处】
：
信阳师范学院学报：哲学社会科学版
【发表日期】
：
2005年3期
【基金项目】
：
国家哲学社会科学基金
其他文献
多媒体网络技术的发展使计算机辅助语言教学(CALL)成为外语教学的趋势.本文依据建构主义学习理论,利用教材的特点,设计出<大学体验英语>信息化教学模式,并阐述了该教学模式的
本科毕业设计是高等学校培养创新人才的一个重要的实践性教学环节。如何提高高校毕业设计质量，使学生在知识、能力和素质等方面得到明显提高，文章对改革本科毕业设计模式进行了
讲授法是<毛泽东思想概论>课堂教学的主要方法之一.本文主要探析了"借此说彼法"、"问题设置教学法"以及妥善处理史论关系,强调了"以史佐论"等讲授方法.
遭受苏东剧变强烈冲击的亚非拉广大发展中资本主义国家的社会主义运动在经历了一个动荡、滑坡的时期之后,逐渐稳定了下来,并在总的低潮中有局部复兴和发展,最具有代表性的是
利用外资重在更新策略,创新方式,应从这几个方面开展工作:吸引外资以优惠政策为主转向营造综合性投资环境;研究国际资本流动和国家利用外资政策变化和实证经验,创新利用外资
从调查入手，从社会需求出发，对德州学院制订的交通运输本科专业人才培养方案进行分析和总结，指出现有人才培养方案在执行过程中出现的问题，并重新对人才培养目标进行了定位，从课程