非古典論理
古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。
様相論理 時相論理(時制論理) 線形時相論理 義務論理(規範論理)
非古典論理(ひこてんろんり、non-classical logic(s))は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。