在蒯因看来，模态语境是一种指称晦暗语境(referentially opaque context)，其结果是一些重要的经典逻辑有效式在模态逻辑中失效，其中包括同一替换原则、存在概括规则和全称枚举规则等。
基于12个网页-相关网页
referentially opaque context
引用不透明上下文
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动