非经典模态逻辑的证明论与语义学研究

项目信息
项目名：
非经典模态逻辑的证明论与语义学研究
项目批准号：
17CZX048
项目类别：

青年项目
学科分类：

哲学
项目负责人：

林哲
立项年份：
2017-07-03
计划结项时间：
2022-12-29
专业职务：
副高级（副教授、副研究员等）
工作单位：

厦门大学
单位类别：
暂无数据
所在省区：

福建省
所属系统：

其他
点击量：
32  
成果展示
成果：
非经典模态逻辑的证明论与语义学  
成果类型：
论文集  
成果等级：
合格  
结项证书号：
20224176  
出版社：
暂无数据  
作者：
暂无数据  
出版时间：
暂无数据  
获奖情况：
暂无数据  
南通成天软件科技有限公司-智慧科研管理系统引领者，提供科研管理系统丰富解决方案- 版权所有 ©2010-2014 NtCtSoft 苏ICP备09102638号-1
服务热线：(售后）158 51303688 24小时咨询电话：(售前）158 51303988
联系地址：江苏南通市崇川区星城路299号创源科技园3-601