首页> 中文期刊>中国人民大学学报 >论模态逻辑系统的有限模型性质

论模态逻辑系统的有限模型性质

开具论文收录证明 >>

页面导航

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

摘要

系统的"典范性"与"有限模型性质"是与"完全性"紧密相关却又有本质不同的概念.通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性.

著录项

来源
《中国人民大学学报》|2006年第3期|103-107|共5页
作者
许涤非;
展开▼
作者单位

中国人民大学,哲学院,北京,100872;

展开▼
原文格式 PDF
正文语种 chi
中图分类模态逻辑;
关键词
模态逻辑系统; 有限模型性质; 典范性;

相似文献

中文文献
外文文献
专利

1. 杆、梁有限元模型的模态的振荡性质 [J] . 郑子君 ,陈璞 ,王大钧 . 振动与冲击 . 2012,第020期
2. 有限元-模态实验混合模型的薄壁件模态参数辨识方法 [J] . 陈霁恒 ,谭经松 ,刘星 . 信息与电脑 . 2021,第011期
3. 基于模态频率和有效模态质量的有限元模型修正 [J] . 张保强 ,陈国平 ,郭勤涛 . 振动与冲击 . 2012,第024期
4. 多智能体模态逻辑系统KD45n中的知识遗忘 [J] . 文习明 ,方良达 ,余泉 . 计算机科学 . 2019,第007期
5. 多智能体模态逻辑系统Kn中的知识遗忘 [J] . 文习明 ,方良达 ,余泉 . 逻辑学研究 . 2019,第002期
6. 欧拉梁的有限元模型的模态的振荡性质 [C] . 郑子君 ,陈璞 ,王大钧 . 北京力学会第18届学术年会 . 2012
7. 基于Kriging方法的大跨度拱桥模态扩展及有限元模型修正 [A] . 陈宇轩 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号