切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于经验论模态词相互关系的注记
关于经验论模态词相互关系的注记
来源 :解放军理工大学学报:自然科学版 | 被引量 : 0次 | 上传用户:laiyq
【摘 要】
:
经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的反方向不成立,从而全面弄清了该系统中各种
【作 者】
:
张闵敏
【机 构】
:
解放军理工大学气象学院
【出 处】
:
解放军理工大学学报:自然科学版
【发表日期】
:
2003年4期
【关键词】
:
模态逻辑
模态词
克里普克结构
modal logic
modalities
Kripke structure
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的反方向不成立,从而全面弄清了该系统中各种复合模态词的相互关系.
其他文献
并发语言OCCAM的指称语义
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完间作为指称的方法,讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的
期刊
并发语言
OCCAM
指称语义
完备距离空间
并发语义
程序设计语言
CSP
denotational semantics
concurrency
metr
风儿姐姐做信使
美丽的清晨,有一只小鸟儿起得最早,在河边忧伤地走来走去。她已经离开妈妈很长时间了,可真想妈妈呀。
期刊
《风儿姐姐做信使》
小学生
作文
语文学习
气象因素对甘蔗花芽分化及抽穗率的影响
对五指山市甘蔗开花辅助点6个甘蔗品种连续4年的花芽分化期物候资料及同期温度和湿度等气象资料进行了对比分析,结果发现:不同年份甘蔗花芽分化时期及抽穗率差异达显著或极显著
期刊
甘蔗
花芽分化
气象资料
低温诱导
Sugarcane
Flower bud differentiation
Meteorological data
Co
打好你的每一颗球
我有一个小外甥,今年上五年级,酷不爱写作文。老师布置了作文,即使他妈妈盯着他在桌子上写,他也能睡着。有一天,我实在看不下去了,决定和他聊聊这个一写作文就瞌睡的事情。
期刊
五年级
作文
老师
我和你
小男孩是一个普通却拥有热心肠的小男孩。小提琴家是蜚声海内外的著名演奏家。这两个看似不在同一水平线上生活的人,却因为生活中偶尔一次交集,碰撞出了友情的火花。
期刊
小提琴家
演奏家
男孩
生活
不同棚型对广东黄皮果蔗经济性状及产量的影响
从广东引进果蔗优良品种-广东黄皮果蔗,进行设施育苗,并通过4种不同棚型栽培,对物候期、伸长速、经济性状等指标进行分析,得出不同棚型对广东黄皮果蔗的产量影响较大,跨度越
期刊
果蔗
育苗移栽
棚型
经济性状
产量
Chewing cane
Seedling transplant
Shed types
Agronomic charact
基于MATLAB神经网络工具箱的边坡冲刷量计算
介绍了人工神经网络BP模型和MATLAB神经网络工具箱.在分析坡面冲刷过程与神经网络模型特点具有某些相似的基础上,以MATLAB-NNT为工具对6种模型结构进行试验,证明ANN4效果最好
期刊
公路边坡
冲刷量
BP模型
highway slope
erosion
BP model
甘蔗新品种海蔗22号“3414”肥料效应研究
采用“3414”田间肥效试验研究氮、磷、钾肥对甘蔗新品种海蔗22号(粤糖09—13)产量及经济效益的影响,通过肥料效应模型分析,获得合理推荐施肥量,为推广、指导甘蔗新品种海蔗22号合
期刊
甘蔗
海蔗22号
“3414”肥料试验
肥料效应
Sugarcane
Haizhe 22
"3414" fertilizer experiment
Fer
一个人的好天气
又是星期五,像往常一样,微风吹着,天气很好,依米恹恹地关上门,皱着小脸下楼。依米在这次考试中名落孙山,又一次听完父母义正辞严的教育后拖拖沓沓走向公交车站。五分钟过去了
期刊
天气
个人
公交车站
星期
内爆荷载作用下结构等效静载计算方法
爆炸发生在结构内部时,结构受到双重荷载作用:瞬时的冲击波荷载和长时间的准静态气体压力。针对内部荷载特点,采用等效单自由度法推导出了用于计算等效静载的动效系数解析式,并根
期刊
计算方法
内爆炸荷载
动效系数
等效静载
结构设计
等效单自由度法
internal explosion load
dynamic effect coeffi
与本文相关的学术论文