广义模态逻辑及其应用