Time Logic Proofs: Time Zones, Windows, and Boundary Dates