12/01/06 19:02:30.54
>>124
主語は集合論だと思いますよ、明文化されてはいませんが。
NExt(L)は様相システムLの正規に拡張したシステム全体の集合族。
公理に関して順序関係を定義していくと、完備分配束が出来たりする。
>>125
いえ、Handbook Of Philosophical Logicの３巻でnon-normal worldって名称が使われていないという意味です。
12/01/06 19:02:30.54
>>124
主語は集合論だと思いますよ、明文化されてはいませんが。
NExt(L)は様相システムLの正規に拡張したシステム全体の集合族。
公理に関して順序関係を定義していくと、完備分配束が出来たりする。
>>125
いえ、Handbook Of Philosophical Logicの３巻でnon-normal worldって名称が使われていないという意味です。