Semantic Games in Logical System
Dai Xi-hua · Journal of Tianjin University of Commerce · 2008
The application of game theory to logic is to study logic dynamically.At present,more and more problems deal with the integration of logic with games.The paper studies one of the logical games-the semantic games in propositional logic,predicate logic and modal propositional logic.Then it gives the player's winning strategy in the semantic games and truth table semantics.Thetrueorfalseof a formula could be defined in the Kripke semantics.