>#WIP

>直観主義論理における可能世界は,人間の知識 を表していると考えることができる.ある世界で論理式が真であるということは,その世界の知識に論理式が含まれているということを意味する。

>人間の知識は経験を重ねるごとに増えるものである。可能世界の間の到達可能性関係は知識の増加を反映する.したがって,直観主義論理においては, あ る世界で真な論理式は,その世界から到達可能な世界でも真になるようになっ ている。このため,直観主義論理における論理記号の解釈は,通常の古典的な 論理とは異ならざるを得ない。