Zeta Functions and the (Linear) Logic of Markov Processes (Logical Methods in Computer Science, 2024)