单词barcan
n.: 新月形沙丘;弧形沙洲网络: 巴肯
弧形沙洲
新月形沙丘
Barcan formulas play an important role in constructing semantics of quantified modal logic.
在模态谓词逻辑语义学构建的过程中,巴坎公式扮演着重要的角色。