Decidability, completeness, and extensions of linear time temporal logic by O. Lichtenstein 0 Type: Thesis