AUTOMATA LINEAR DYNAMIC LOGIC ON FINITE TRACES. - SMITH, KEVIN W.; VARDI, MOSHE Y. (Logical Methods in Computer Science (LMCS), 2025)