Nikolay V. Shilov. An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic). In Vasco Brattka, Hannes Diener, Dieter Spreen, editors, Logic, Computation, Hierarchies. Volume 4 of Ontos Mathematical Logic, pages 297-324, De Gruyter, 2014. [doi]
Abstract is missing.