论文部分内容阅读
互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念，接着证明模态逻辑具有互模拟不变性，最后讨论了互模拟与模态等价之间的关系。
互模拟及其与模态等价之间的关系
【摘 要】
：
互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念，接着证明模态逻辑具有互模拟不变性，最后讨论了互模拟与模态等价之间的关系
【机 构】
：
湖南科技学院思政部
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2013年8期
【基金项目】
：
2012年国家社科基金项目“互模拟理论的逻辑研究”成果之一,项目编号：12BZX060
其他文献
伴随着互联网金融的渗透与发展以及利率市场化改革步伐的推进,银行的经营与管理面临着巨大的挑战 和机遇.地方性的城市商业银行利差空间大幅收缩,利息净收入出现负增长,其盈
提高信息资源平台的建设是图书馆实现现代化管理、扩展业务、创新服务和增强竞争力的重要手段。文章以黄闪师范学院图书馆信息化资源平台建设为案例，分析了地方高校图书馆在信
电线电缆火灾具有蔓延快、扑救难、产生二次危害、恢复时间长等特点。分析研究电线电缆的火灾危险性、火灾特性、火灾原因、预防措施等，对预防和控制电线电缆火灾具有重要价值
摘 要：商业银行小企业信贷业务应该透析企业再生产经营过程，找准银行风险管理的落脚点，通过分析了解企业生产经营流程，把握关键环节，深入不同行业和产业特点，采取分层、分级、分产品的差别化风险管理措施，实现小企业信贷业务的良性发展。 关键词：地区资源；商业银行；资产质量 发展小企业信贷业务不仅是满足外部监管要求的需要，也是大型商业银行履行社会责任、承担公民义务的重要体现，更是增加利润增长点，分散风险
文化是教育的重要内容。中国传统文化既是大学生思想政治教育的内容,又是大学生思想政治教育的重要手段。大学生思想政治教育与中国传统文化教育相结合已经成为开展大学生德
虚概念的问题是逻辑学界长期存在争论的问题,其争论主要有这样几个方面：什么是虚概念？虚概念与假概念有必然关系吗？虚概念有没有外延？对于这些问题,在我国现行的形式逻辑教材里以
随着地方经济的不断发展,应用型英语口译人才出现及其短缺的现象。从地方化口译人才培养的必要性、可行性和培养策略等三个方面来论述地方本科院校应用型英语口译人才的培养
以声传情、以情动人的山西二人台,广泛而恰当地运用了语音选择修辞、语音组配修辞、语音谐拟修辞三类语音修辞手段来增强唱词和道白的表达效果.对语音选择修辞的运用主要体现
笔者所在的公司主要生产经营石油化工催化剂，其核心技术为企业自主研发创新，在同行业具有领先水平。企业自2008年国家公布《高新技术企业认定管理办法》开始，严格按照要求设置研发费及高新技术产品收入科目进行财务核算。企业被认定为高新技术企业后，将有资格享受15%的所得税优惠税率，并在申请科技创新补贴上具有更大的优势。这些优惠政策的享受都需要企业将财务核算按照财政、税务、科技部门的要求做到实事求是、账务清