首页 > 论文下载

知识蕴涵时态逻辑系统

期刊名字：安徽大学学报（哲学社会科学版）
文件大小：
论文作者：杜国平
作者单位：南京大学
更新时间：2022-06-21
下载次数：次

会员下载(3点)

VIP会员下载(0点)

游客扫码下载(3点)

论文简介

在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制.根据给出的形式语义,可以证明该系统的可靠性和完全性.

论文截图

上一条：实践理性:康德美学的超验之维

下一条：函数完备的n+1值逻辑公理系统的强完全性

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。

知识蕴涵时态可靠性完全性逻辑