Applying Logic in Chess