博弈语义
- 网络Game semantics
博弈语义-
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与Monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。
This article covers expressive power of modal logic and μ - calculus , and their game semantics . We also give game semantics of first order logic and monadic second order logic , then we use bisimulation as a core concept to relate these logic -
-
C.S.Peirce用解释者和回答者的两人博弈说明量词的语义，从而成为这一理论的先驱。
Peirce is considered as one of the precursors of this method who employed interpreters and answers to explain the semantics of quantifiers in two-player games .