Continuous time probability logic $L^t_{\Cal AP}$ is a logic appropriate for the study of space with a family of continuous time probability measures. We prove the completeness theorem for the logic $L^t_{\Cal AP}$ for both continuous and uniformly continuous cases. Also, we prove the finite compactness theorem for universal conjunctive formulas of $L^t_{\Cal AP}$.