12/01/05 21:17:32.98
>>99>>101
＞幾らでも新たな体系を作ろうと思えば作れる。
その通りです。
ただし、>>98に掲載されている体系は、
（恐らくHandbook Of Philosophical Logicの３巻からの引用。）
ほとんどがK4やS4の拡張で、
複雑なペトリネット・公理的集合論・線形時相論理などに関する
統一的な研究に由来するようですね。
12/01/05 21:17:32.98
>>99>>101
＞幾らでも新たな体系を作ろうと思えば作れる。
その通りです。
ただし、>>98に掲載されている体系は、
（恐らくHandbook Of Philosophical Logicの３巻からの引用。）
ほとんどがK4やS4の拡張で、
複雑なペトリネット・公理的集合論・線形時相論理などに関する
統一的な研究に由来するようですね。