Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization (ArXiv cs.LO Recent Papers, 2026)