Platform Logics