On the Expressiveness of State Space Models via Temporal Logics. - Eric Alsmann; Lowejatan Noori; Martin Lange 001 (CoRR, 2026)