Another important extension was for modal and other logics that need more than just the basic judgment of truth.
另一个重要扩展是模态和其他不只需要基本的真理判断的逻辑 。