首页> 中文期刊>解放军理工大学学报（自然科学版） >关于经验论模态词相互关系的注记

关于经验论模态词相互关系的注记

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的反方向不成立,从而全面弄清了该系统中各种复合模态词的相互关系.

著录项

来源
《解放军理工大学学报（自然科学版）》|2003年第4期|98-102|共5页
作者
张闵敏;
展开▼
作者单位

解放军理工大学,气象学院,江苏,南京,211101;

展开▼
原文格式 PDF
正文语种 chi
中图分类模态逻辑;
关键词
模态逻辑; 模态词; 克里普克结构;

相似文献

中文文献
外文文献
专利

1. 梯度、旋度和散度的相互关系的注记 [J] . 冯超玲 . 科技通报 . 2015,第8期
2. 基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用 [J] . 邓少波 ,关素洁 ,王磊 . 南昌工程学院学报 . 2019,第003期
3. 全局性模态词与基本模态语言的扩充 [J] . 王辉 . 辽宁工业大学学报（自然科学版） . 2009,第005期
4. 论模态逻辑的合法性——对蒯因式模态词解读的批判考察 [J] . 张力锋 . 学术研究 . 2006,第009期
5. 关于动力总成悬置系统模态能量表达的一个注记 [J] . 童炜 ,侯之超 . 汽车工程 . 2013,第003期
6. 决策中冗余系统的应用与研究——模糊错误逻辑增加转化词与内涵模态判断联结词的关系 [C] . 刘世勇 ,郭开仲 . 2001年中国智能自动化会议 . 2001
7. 表示“应该”意义的道义模态词的语义分析—道义模态和非道义模态意义初探 [A] . 陶莹 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号