 Temporal reasoning can naturally be combined with various non-classical logical systems, resulting, for instance, in many-valued temporal logics (Rescher and Urquhart 1971, Chapter XVIII), intuitionistic temporal logics (Ewald 1986), constructive and paraconsistent temporal logics (Kamide and Wansing 2010; 2011), probabilistic temporal logics (Hart and Sharir 1986; Konur 2013), etc.