Completeness Theorem for a First Order Linear-time Logic Zoran Ognjanović (2001) Publications de l'Institut Mathématique