A Logic for Expressing Log-Precision Transformers