命题作为博弈的求真表示

• 作者: 许道云
• 来源期刊: 贵州大学学报（自然科学版）
• 学科: 工学
• 关键词: 命题 博弈 交互计算 命题求真 表示
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 计算机技术·电子技术
• 页码范围: 47-54
• 页数: 8页
• 分类号: TP301
• 字数: 9924字
• 语种: 中文

摘要

在Giorgi Japaridze引入的可计算性逻辑中,提出了将命题作为博弈,命题的真值由博弈结果得到的基本思想.本文通过引入环境状态概念,给出了命题求真过程的形式化表示方法.基于这样的处理,利用从命题逻辑到模态命题逻辑的研究方法,我们可以研究模态可计算性逻辑、线性时序可计算性逻辑、以及行为时序可计算性逻辑.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许道云	贵州大学计算机科学与信息学院	125	460	12.0	16.0