- 74 名前：１３２人目の素数さん mailto:sage [2012/01/04(水) 08:33:11.69 ]
- >>69
様相論理の体系で S4 とか S5 とかはあるのに、S1, S2, S3 がないのは不思議だよね？
これはクリプキ意味論以前から様相論理が研究されていた名残り。
S1, S2, S3 は通常の可能世界意味論を持たない。
少し変更を加えれば（非正則世界を許す）S2 と S3 は完全な意味論が可能世界意味論で作れる。
しかし S1 はどうやってもその手の意味論は与えられなかったはず、詳しくは知らない。
あと、S6 以降の体系も世の中にはある。
