When Logic is Applied to the Globe Model