论文部分内容阅读
用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,我们研究了命题逻辑、谓词逻辑、模态命题逻辑中的语义博弈,并且给出了语义博弈中参与者的必胜策略与真值表语义和Kripke语义下公式真假之间的关系。