论文部分内容阅读
模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性，而情境则除了排斥性，还突显时空性、主体性、部分性和非绝对良构性。利用这两组性质，分别对最大的可能世界类或可能世界模型W进行理想化限制，就可以得到这两类可能世界。而且，按照数学的排列组合观念，这两类可能世界的深层关系就清晰可见。
模态逻辑可能世界与情境
【摘 要】
：
模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性，而情境则除了排斥性，还突显时空性、主体性、部分性和非绝对良构性。利用这两组性质，分别对最大的可能世界类或可
【机 构】
：
南京大学现代逻辑与逻辑应用研究所
【出 处】
：
第二届两岸逻辑教学学术会议
【发表日期】
：
2006年10期
其他文献
肝豆状核变性（HLD）亦称Wilson病，为一种常染色体隐性遗传的铜代谢障碍所致的疾病。临床表现为进行性加重的锥体外系症状、肝硬化、精神症状、肾功能损害和角膜色素环（K—F环）。200
<正>习主席指出,治军之道,要在得人。并强调:要切实端正选人用人风气;把干部部门建设成忠诚可靠、坚持原则、公道正派、甘为人梯、清正廉洁的过硬部门。习主席的重要指示,深
儿童创造性人格的研究已成为当前发展心理学的研究热点之一。已有研究揭示,创造性人格是智力因素与非智力因素的统一,呈现出多维度、多特质的结构;不同创造性人格类型倾向的
在现有船舶太阳能光伏发电技术的基础上，基于碟式太阳能热发电技术，设计一种船用碟式斯特林太阳能热发电装置，并利用STM32 F3作为控制器，基于高度角-方位角双轴混合跟踪技术设计
吡喹酮是目前惟一对人体5种血吸虫病均有效的治疗药物，其突出优点是口服方便、安全有效和疗程短。了解其抗血吸虫的作用机制，可能有益于发展新的广谱抗蠕虫药物。本文综述了近3
我国是农业大国，农业是我国经济不可缺少的一部分，随着环境污染问题日益严重，在农业上也提出了环保、节能的口号。小型农业水利灌溉节水就是一种重要手段，本文分析了小型农业水利
信息时代,短信成了人们生活中必不可少的东西。但是,凡事有利就有弊,就短信来讲,我一直对群发短信没啥好印象。应该说,短信给我们的生活带来了很多亮色和感动。一则短信,就是
期刊
<正>汽车工业协会2016年5月发布数据,今年前4月我国新能源汽车生产、销售分别实现9.4万辆和9万辆,较去年同期分别增长126.8%和131.1%。前四月,新能源汽车生产94 442辆,销售90