This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for ...

We first extend Quine's method of eliminating the bound variables to first-order predicate logic with operation symbols ; then we give a device for eliminating also the free variables ; and finally we ...