您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

量词模态逻辑的代数语义学_(Ⅳ下)──关于含Barcan公式的非正规

发布时间:2019-04-30 21:13 来源:未知 编辑:admin

  高恒珊,吕健安;量词模态逻辑的代数语义学(Ⅳ,上)──关于含BARCAN公式的非正规模态系统情形[J];哲学研究;1998年12期

  高恒珊;量词模态逻辑的代数语义学(Ⅲ)──关于不含Barcan公式的正规模态系统的情形[J];数学学报;1995年04期

  吴迪;;浅谈可能世界语义学与模态代数语义学[J];大家;2011年17期

  R.希尔卑伦;扬世武;;模态逻辑的某些认知解释[J];世界哲学;1987年01期

  王云龙;古代社会向近代世界转型的多维整合研究简论[J];北方论丛;2000年01期

  张力锋;模态逻辑的哲学归宿[J];四川大学学报(哲学社会科学版);2004年02期

  张力锋;;论模态逻辑的合法性——对蒯因式模态词解读的批判考察[J];学术研究;2006年09期

  沈洁;;现代模态逻辑对必然性的刻画[J];东南大学学报(哲学社会科学版);2006年S1期

  姚从军;;古典命题逻辑与模态命题逻辑的自然推理系统之比较[J];湖南科技学院学报;2008年09期

  高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

  王大辉;葛新元;;基于个体相互作用的金融与经济共同演化的模型结构[A];Complexity Problems--Proceedings of CCAST (World Laboratory) Workshop[C];2001年

  赖晓平;朱桂华;周鸿兴;;离散系统模型结构分析及模型类库[A];1997年中国控制会议论文集[C];1997年

  杜朝波;董均宇;卢勇;刘友宽;;系统分析用水电机组调速器原动机建模技术研究[A];2009年云南电力技术论坛论文集(优秀论文部分)[C];2009年

  李环;李万平;李光旭;;PCL语言在三峡电厂引水系统模型建立中的应用[A];庆祝中国力学学会成立50周年暨中国力学学会学术大会’2007论文摘要集(下)[C];2007年

  冯玉强;黄梯云;;基于人工神经网络的人口发展模型的自动选择[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第3卷)[C];1995年

  熊伟;施卫星;徐磊;;中国建筑文化中心振动台试验研究[A];第八届全国结构工程学术会议论文集(第Ⅲ卷)[C];1999年

  任鹏;;微观交通仿真模型研究[A];第一届中国智能交通年会论文集[C];2005年

  杜朝波;董均宇;卢勇;刘友宽;;系统分析用水电机组调速器原动机建模技术研究[A];2009年云南电力技术论坛论文集(文摘部分)[C];2009年

  李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

  清华大学建筑学院院长助理 副教授 周榕;总部基地:未来经济生态圈的核心资源[N];中国电力报;2007年

  周春雨;MICONEX2004展开国际较量[N];中国贸易报;2004年

  李小平 李贤福 衡晓春;性教育走进军校课堂后[N];科技日报;2002年

  余延生;航天器贮箱液体非线性晃动动力学的多维模态分析方法[D];哈尔滨工业大学;2007年

  H.A.Prasantha Hapuarachchi;[D];河海大学;2003年

  王金庆;数字化工厂及其关键技术研究[D];南京航空航天大学;2001年

  赵祥;应用形状记忆合金进行古塔结构抗震保护的理论和试验[D];西安建筑科技大学;2008年

  翁光远;大跨空间网壳结构地震响应分析及振动控制研究[D];西安建筑科技大学;2011年

  李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

  田鹏刚;空间结构智能稳定控制的基本理论与试验研究[D];西安建筑科技大学;2007年

  陈玮琪;智能辨识技术及其在物体出水水动力参数辨识中的应用研究[D];江南大学;2008年

  刘绍峰;相邻结构连接阻尼器的减震控制优化研究[D];上海大学;2009年

  马晓燕;大跨度斜拉桥模型结构动力时程分析[D];长沙理工大学;2004年

  吴文璐;余代数模态逻辑若干问题的研究[D];南京航空航天大学;2012年

  姚晓春;V形调节球阀的数值模拟及结构优化[D];兰州理工大学;2009年

  雷云飞;基于模块化建模技术的水电站运行培训仿真系统研究[D];华中科技大学;2007年

  李茹;中央防汛决策支持系统洪水预报子系统的研制与开发[D];西安理工大学;2000年

  黄义龙;既有损伤结构地震反应分析与抗震性能评估[D];同济大学;2008年

http://39-5963.net/gongliyuyi/73.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有