例えば、「Aは偽である」（論理学）、「Aは時刻tでは真である」（時相論理）、「Aは真でなければならない」あるいは「Aは真でありうる」（様相論理学）、「プログラムMの型はτである」（プログラミング言語と型理論）、「Aは利用可能な資源から達成できる」（線型論理）などである。
很多其他判断也已经被研究了；比如“A为假”(参见经典逻辑)，“A在时间t为真”(参见时间逻辑)，“A必然为真”或“A可能为真”(参见模态逻辑)，“程序M有类型τ”(参见编程语言和类型论)，“A从可用的资源是可完成的”(参见线性逻辑)，等等。