Internet Logics