Time And Logic: A Computational Approach