Top/Science/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extensions/Temporal_Logic - Musharof Chy