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