■

John Halleckさん @ Univ. of Utah のHPを見ると、Modal Logicに関する充実したページが公開されている。
Modal Logicの様々なsystemの一覧が掲げられており、かなり詳しい。たぶんHughes and Cresswellさん以来の、かつ以上の詳しさだと思う。
様々なaxiomのlistのページや、色々なinference ruleのリストのページもある。
Biblio.も充実しており、原論文や論文著者のページへlinkも貼られていて、大変優れものである。
これは知らなかった。さっそく各ページをDLさせていただきました。