Pattern Logics