Half-order Modal Logic: How To Prove Real-time Properties Abstract. Thomas A. Henzinger