論理学
弁証法的論理
形式論理
数理論理学
二値論理
多値論理
様相論理
演繹論理
帰納論理
命題論理
述語論理
量子論理
虚偽論
非形式論理学
因明 - 仏教論理学
直観論理
義務論理
命令論理
時相論理
非単調論理
適切さの論理
矛盾許容論理
証明可能性論理
認識論理