- 75 名前：１３２人目の素数さん mailto:sage [2012/01/04(水) 09:05:15.50 ]
- >>74
S1 から始まる体系の系列は、Lewis が厳密内意（論理学スレで話題になってた）の研究で提案したもので、
様相論理の研究と言ってしまっていいのかは疑問。
もっとも A ⊰ B を □(A→B) と、逆に □A を ⊥⊰ A と理解することで、
厳密内意と様相は同じものとみなしていいんだけどね。
（少なくとも S2 以上は。S1 はどうだったか忘れた。）
ある意味、適切論理の先行研究ともいえる。
