インド論理学
メーダティティ・ガウタマ(紀元前6世紀頃)は論理学のアンヴィクシキ学派の創始者である。紀元前5世紀頃の『マハーバーラタ』(12.173.45)には論理学の学派としてアンヴィクシキ学派とタルカ学派が言及されている。パーニニ(、紀元前5世紀頃)はサンスクリット文法を定式化するために論理学の形式を研究した(後世のブール論理学はこのパーニニの論理学に類似している)。チャーナキヤ(紀元前350年-紀元前283年)は『アルタシャーストラ』において質疑という独立した領域の論理学を展開した。
様相論理
今日の様相論理は、1918年の著書 "A Survey of Symbolic Logic" のなかで S1 - S5 の公理系を導入した C・I・ルイスに始まる。J・C・C・マッキンゼーは1941年に代数的方法を用いてルイスの S2 と S4 の体系の決定可能性を証明した。ソール・クリプキは1959年、1963年にクリプキ意味論を導入し、様相論理を飛躍的に前進させた。