Tangle Logics