您当前的位置：
首页 >
文章列表页 >
模态逻辑系统S5中极大相容理论的结构刻画
模态逻辑系统S5中极大相容理论的结构刻画
Characterization of Maximal Consistent Theories in Modal Logic S5
- 电子学报 2014年42卷第8期 页码：1551-1555
DOI： 10.3969/j.issn.0372-2112.2014.08.014
移动端阅览
HTML全文
参考文献
出版信息
数据统计
52
浏览量
34
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
模态逻辑S4的覆盖语义及其完备性
基于LaFMD处理的新型阈值调控技术研究
基于稀疏贝叶斯学习的OTFS系统脉冲噪声抑制方法
面向扇出型晶圆级封装的芯片间RDL布线算法
基于概念漂移感知的异常流量检测模型轻量化更新机制
相关作者
于海
詹婉荣
张瑞玲
相关机构
洛阳师范学院数学科学学院
洛阳师范学院信息技术学院
洛阳师范学院数学科学学院河南洛阳
洛阳师范学院信息技术学院河南洛阳
