模态复合谓词逻辑相关硕士博士期刊学术论文

在日常语言中,甚至在数学语言中,我们常常表达个体的十分复杂的性质。在弗雷格的逻辑语言中,只能表达个体的简单性质或者个体之间......