The Possible World of and Situation in Model Logic

• 模态逻辑可能世界与情境