"Tatilde bütün klasikleri okuyacağım." biçimindeki bir önermeye, geleceğe ilişkin bir bilgi verdiği için doğru ya da yanlış diyemeyiz. Bu türden önermelerin doğru ya da yanlış olması olasıdır, ancak kesin değildir. Bu durum aşağıdaki mantık sistemlerinin hangisinin ortaya çıkmasına neden olmuştur?
Çok değerli mantık
Niceleme mantığı
İki değerli mantık
Kiplik mantığı