Title: On the Logics of Planetary Computing