The book contains an excellent discussion of modal logic.

• 这本书包含了有关模态逻辑的精彩探讨。