Another important extension was for modal and other logics that need more than just the basic judgment of truth.
もう1つの重要な拡張は様相論理学などの論理に関するもので、それらは単なる基本的な真理値の判断以上のことをする必要がある。