“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

1993年9月,美国克林顿政府提出“国家信 息基础设施”(NI)计划,又名“信息高速公 路”计划。 ·该计划致力于建设以现代信息技术为基础, 以光纤网为骨干网,纵横美国国土,连接 学校、研究机构、图书馆、实验室、企业 乃至每个家庭,使全体公民共享信息资源 的高速多媒体网络系统

猕猴桃溃疡病 Chinese Gooseberry(Kiwi)Canker 溃疡病是猕猴桃上的一种毁灭性病害,该病于1980年在美国加州和日本的静冈县首 发现。我国于1986年在湖南东山峰农场人工栽培基地首次证实了该病的发生。该病在湖南 等地发展迅速,来势凶猛,连年流行,可在短期内使猕猴桃濒于毁灭

面对亚洲金融危机,香港特区政府为了应对国 际投机“大鳄”的市场炒作,于1998年8月动用迁千 亿港元入市操作;1998年9月5日,为了进一步巩固 香港的货币发行局制度,减低投机者操纵市场使银 行同业市场和利率出现动荡的机会,香港金管局推 出7项技术性措施,这7项措施集中在港元兑美元的 兑换保证和有关银行港元流动资金贴现方面的新措 施两个方面。1998年9月7日,为了严格治市纪律, 强化金融监管,香港特别行政区财政司公布了严格 香港证券及期货市场纪律的30条措施

医学伦理学是一门医学基础课程，它以医学领域的道德现象作为自己的研究对象。它不仅要研究医务人员的美德和义务，而且要研究卫生资源分配、医学科研和医学高新技术应用中的伦理、社会问题。通过讲授医学伦理学的基本理论、基本原则和基本方法，目的在于锻炼他们的伦理分析、决策和评价能力，提高他们的人文医学素养，使他们在今后的医疗实践中养成良好的职业道德

健美操的创编原则、方法和步骤 教通过教学,使学生了解健美操的创编原则、方法和步骤,便于学生在课外活动中自己编排健美操 要 要创编一套科学合理,易于推广的健美操,不仅要求创编者有丰富的体育运动知识和生活知识,而 且精通健美操的内在规律,并具备一定的音乐、舞蹈、美学方面的知识,把握创编的原则、方法和程序 这是对创编者的最基本的要求

通过在吹Ar合金微调站加入Al脱氧和SiCa对夹杂物变性,选择合适的造渣剂CaO-SiO2-CaC2以及软吹Ar工艺,可以在不影响连铸机匹配的条件下(18min内)使钢水中活度氧降低到20×10-6以下,渣中的FeO+MnO<3%,而连铸浇注时不会发生水口堵塞现象.满足了马鞍山钢铁公司第三钢轧总厂从美国新引进的使用油润滑浇铸的小异形坯连铸机对钢水质量和生产匹配的要求

这一录像介绍的是美国联邦政府的能源部长黑兹尔·奥莉瑞成功地改革能源部的事例。黑兹 尔·奥莉瑞—比尔·克林顿总统领导下的美国能源部部长。虽然在庞大的政府官僚机构中,她仅 仅管理一个能源部,但她试图以新的与众不同的工作方式工作,使能源部以崭新的面貌展现在公众 面前

1927年,美国华纳公司拍摄的《爵士歌王》是第一部有声片,声音元素的加入使电影走向了视听合一的复合型艺术之路。《公民凯恩》和《罗生门》是传统电影和现代电影的分水岭

某钢铁总公司在1989年10月份筹措了一笔2亿美元的银团贷款,贷款期限8年,宽 限期4年半,宽限期后分8次等值还本,平均贷款期限为6年半。该总公司由于灵活运用 利率互换交易,通过前后3次利率互换最后使原贷款的美元浮动利率6个月 Libor+0.25%固定在7.5%的利率水平,比设计的利率水平降低了1.4个百分点,降低设计成 本约1550万美元