インド論理学
インド論理学は、インドにおける論理学である。インド哲学における次の系譜から言及される。すなわち、メーダティティ・ガウタマ(紀元前6世紀頃)のアンヴィクシキ学派やパーニニ(紀元前5世紀頃)のサンスクリット文法規則にまで遡り、続いてヴァイシェーシカ学派による原子論の分析(紀元前2世紀頃)、ニヤーヤ学派の創始者ガウタマによる推論の分析(2世紀頃)、そしてナーガールジュナの四句分別(2世紀頃)が挙げられる。
様相論理
今日の様相論理は、1918年の著書 "A Survey of Symbolic Logic" のなかで S1 - S5 の公理系を導入した C・I・ルイスに始まる。J・C・C・マッキンゼーは1941年に代数的方法を用いてルイスの S2 と S4 の体系の決定可能性を証明した。ソール・クリプキは1959年、1963年にクリプキ意味論を導入し、様相論理を飛躍的に前進させた。