目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。

相关句子

序号 句子
51 本森的尸体目前放在布瑞志福特房子的冰柜里，将一直放到威廉姆斯周五开车来把她取走。
52 本文从目前液氯储罐的地下及地上储存方式进行了论述。
53 本文从目前液氯储罐的地下及地上储存方式进行了论述。论述造句。
54 本文从研究百货中品牌童装陈列入手，通过分析目前品牌童装陈列现状及存在问题，提出对应的解决方案。
55 本文分析了河北目前产业布局存在的不足并提出了相关的措施。
56 本文分析了目前江西铜业公司财务管理现状，指出了公司财务管理工作存在的问题和差距，提出整改意见和措施。
57 本文概述了目前全棉织物无甲醛防皱整理中所使用的整理剂及方法。
58 本文将语用调节论运用到目前研究中，试图为白语语语尾助词的语用分析建立一个理论框架，来讨论其语用功能和动因。
59 本文介绍了当前微波宽带放大器发展概况和动向，概括说明目前一些主要宽带放大器的机理、特点和设计方法。
60 本文介绍了近年较为热门的虚拟磁带库备份技术的发展情况和实现方法，并对比目前的其他存储备份技术对其特点和优势进行了分析。
61 本文介绍了目前全球可降解塑料的发展概况，以及完全生物可降解塑料的发展前景。
62 本文就目前真空蒸发制盐影响盐粒度的主要因素进行了探讨、论述。
63 本文剖析了目前我国彩电业面临的困境，探讨了加快技术创新、实施产业升级的重要性及其有效措施。
64 本文首先简要介绍了原子分子物理学的发展概况，评述了其学科地位及目前主要的研究内容和发展方向。
65 本文讨论了冷镜式露点仪测量不确定度的多种因素，其中有些不确定度分量目前还难以估算出具体数据。
66 本文同时也试图拓展目前基于平台的后期合成软件的使用范畴，为更多的读者提供一个积极的参考和借鉴。
67 本文以某生产酱腌菜的食品企业为研究对象，通过对该企业质量管理体系存在问题的剖析，对目前中小型食品企业普遍存在的问题进行了探讨。
68 本文主要回顾了目前万艾可与心肌梗死和心源性猝死的相关知识。
69 本文主要介绍了合欢皮的主要成分及其作用功效，对其目前国内外所作的研究做一综述。
70 本文主要讨论蜂窝网络中的无线分组调度问题，介绍了无线调度的特点和研究现状，分析了目前的研究热点和方向。
71 本中心目前暂以任务编组之屯区艺文中心筹备处筹办开馆相关任务，正式组织编制尚待依规定办理中。
72 比较不同国家农业知识产权保护制度的异同，明确我国应如何应对目前的现状。
73 笔者描述了目前我国新闻职业道德缺失的种种表现，并将其主要内容总结为以下三类：媒体腐败、媒体低俗、新闻炒作。
74 笔者重点分析了目前医院体检中心易出现的医疗安全问题，并有针对性地提出了医疗安全防范对策。
75 毕竟目前还没有一个系统权威的鉴别方法，人们只能通过几成新、是否有磕碰或者划痕来判定二手手机的价值。
76 蝙蝠是一种夜行性飞行哺乳动物这里目前的统计资料表明是一种较小，食虫的蝙蝠。
77 变频交流伺服系统是目前伺服系统应用的主要趋势。
78 冰冻三尺，非一日之寒。造成目前如此局面，谁是始终如一呢?
79 冰中自然形成的裂缝和隧道可能会允许一些河水流过去，而目前河下游的一座桥已经被河水冲击所侵蚀。
80 禀报司令官阁下，旅行路线已经确定，目前正在对参与旅行的人员进行考察，不日即面呈司令官阁下审阅!
81 并且高超音速飞机目前只演示过由其他飞行器携带小型无人机至高速，而且其他计划中的试验飞行器同样太小不能坐人。
82 不到山穷水尽，我是不想请大帅出手的，况且目前的局势，远水不解近渴，等洛阳发兵过来，起码是十天半个月以后的事情了。
83 不管涅波到底能否带领申花走出目前的困境，但是有一点可以肯定涅波的到来让原本死气沉沉的申花队有了一丝活意。
84 不过，对于张吉龙的最终归宿，目前也有些不同说法。
85 不过，分析人士说，目前这个基地的最大作用是向部署在崎岖山区地带的部队提供食品等供应。这些地方的驻军还得依赖毛驴运输。
86 不过，经过多年的辛劳，子女渐渐长大，目前她的生活安定许多，也尝到苦尽甘来的滋味。
87 不过，目前捕获的信息仅仅提供了系统上下文的静态视图，通过用户、角色、通道和外部系统进行表示。
88 不过，目前嘛，我例要向我的技艺高超的医生讨教一下，他对我的赢弱的体格的好心关照，是否当真叫我获益了呢？
89 不过，这个享有垄断特权而不滥用特权的公司，目前尚待组成。老欧洲国家感到疑惑。
90 不过，至少是目前，比起在天空中种田的科学梦来说，这倒是更脚踏实地的做法。
91 不过目前没有确实可靠证据证明叶子或者会阻碍，延缓或者损害婴儿或者婴儿的成长。
92 不过如能妥善应对这些意见的话，你可能会在扮演目前这个角色的过程中更加从容自如。
93 不过想到越早完工，越早的将工程的结余款收拢，自己也就越有把握渡过目前的经济门槛，王魁也就干劲十足了。
94 不过以目前的股价来看，泸州老窖已经没有安全边际。
95 不过以目前旺盛的市场人气，不排除中国建筑依然可能遭遇炒作，昨日地产股和基建股反手一击，都是对中国建筑的造势。
96 不过以目前旺盛的市场人气来看，不排除中国建筑依然可能遭遇炒作，昨日地产股和基建股反手一击，正是对中国建筑的造势。
97 不过早在去年秋季转会期间，奥拉斯就已经警告过所有想入非非的球队：里昂登顶冠军杯壮志未酬，目前不会卖了本泽马和本阿尔法。
98 不仅一枝黄花，目前还有与它一并列为害草，被称为外来物种危害巨大的水葫芦，又名凤眼兰或凤眼莲者。
99 不论你目前的英语水平如何都是可以提高的，因此，你不必为自己的英语不好而气馁，但是你必须从现在开始就要开始学习了。
100 不能光是揭露人家过去的错误，而不尊重人家目前的为人。